| Title: | Run the 'Open-WBO' MaxSAT Solver |
| Version: | 0.1.1 |
| 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-11 16:01:58 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-16 11:10:02 UTC |
Run open-wbo_static
Description
Run the bundled 'open-wbo_static' binary with user-supplied parameters.
Usage
run_open_wbo(args = character())
Arguments
args |
Character vector of arguments passed to 'open-wbo_static'. |
Details
'args' is passed directly to the 'open-wbo_static' command-line tool, so supply the path to a WCNF file along with any solver flags you want to enable. To see the full list of supported options for your bundled binary, run 'run_open_wbo("–help")'. The help text is emitted on stderr, so it appears in your console but is not returned by 'run_open_wbo()'.
Common solver options include toggles such as '-forceunsat'/'-no-forceunsat', '-adapt'/'-no-adapt', '-print-model'/'-no-print-model', and parameter settings like '-algorithm <int>', '-cpu-lim <int>', '-mem-lim <int>', and '-verbosity <int>'.
Value
Character string containing the output from 'open-wbo_static'.
Examples
wcnf_file <- tempfile(fileext = ".wcnf")
writeLines(c(
"p wcnf 1 2 2",
"2 1 0",
"1 -1 0"
), wcnf_file)
run_open_wbo(args = wcnf_file)