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.
It appears you don't have a PDF plugin for this browser. You can click here to download the reference manual.
0.1.2 by Matthias Ollech, 9 months ago
Browse source code at https://github.com/cran/Rwbo
Authors: Matthias Ollech [aut, cre] , Ruben Martins , Vasco Manquinho , Ines Lynce [cph] (Copyright holders of included Open-WBO code)
Documentation: PDF Manual
GPL (>= 3) license
Suggests testthat
See at CRAN