| Title: | Run the 'Open-WBO' MaxSAT Solver |
|---|---|
| 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. |
| Authors: | Matthias Ollech [aut, cre], Ruben Martins, Vasco Manquinho, Ines Lynce [cph] (Copyright holders of included Open-WBO code) |
| Maintainer: | Matthias Ollech <[email protected]> |
| License: | GPL (>= 3) |
| Version: | 0.1.2 |
| Built: | 2026-05-21 05:55:51 UTC |
| Source: | https://github.com/cran/Rwbo |
Run the bundled 'open-wbo_static' binary with user-supplied parameters.
run_open_wbo(args = character())run_open_wbo(args = character())
args |
Character vector of arguments passed to 'open-wbo_static'. |
'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>'.
Character string containing the output from 'open-wbo_static'.
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)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)