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-01-19 17:15:27 UTC; Matthias
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: CRAN
Date/Publication: 2026-01-21 07:40:09 UTC
Built: R 4.6.0; aarch64-apple-darwin23; 2026-04-25 22:06:24 UTC; unix
