Package: Rwbo
Title: Run the 'Open-WBO' MaxSAT Solver
Version: 0.1.2
Authors@R: c(
	person("Matthias", "Ollech", email = "ollech@gmx.com", role = c("aut", "cre")),
	person("Ruben Martins, Vasco Manquinho, Ines Lynce", role = "cph",
	comment = "Copyright holders of included Open-WBO code")
  )
Description: Provides a wrapper for running the bundled 'Open-WBO'
        Maximum Satisfiability (MaxSAT) solver
        (<https://github.com/sat-group/open-wbo>). Users can pass
        command-line arguments to the solver and capture its output as
        a character string or file.
License: GPL (>= 3)
RoxygenNote: 7.3.2
Encoding: UTF-8
Depends: R (>= 4.0)
Suggests: testthat (>= 3.0)
Config/testthat/edition: 3
NeedsCompilation: yes
Packaged: 2026-07-20 09:12:41 UTC; root
Author: Matthias Ollech [aut, cre], Ruben Martins, Vasco Manquinho,
        Ines Lynce [cph] (Copyright holders of included Open-WBO code)
Maintainer: Matthias Ollech <ollech@gmx.com>
Repository: https://cran.r-universe.dev
Date/Publication: 2026-01-21 07:40:09 UTC
RemoteUrl: https://github.com/cran/Rwbo
RemoteRef: HEAD
RemoteSha: 354333fb61e354e0db53c17dd3b8b95f79065e49