Rwbo: Run the 'Open-WBO' MaxSAT Solver

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.

Version:	0.1.1
Depends:	R (≥ 4.0)
Suggests:	testthat (≥ 3.0)
Published:	2026-01-16
DOI:	10.32614/CRAN.package.Rwbo (may not be active yet)
Author:	Matthias Ollech [aut, cre], Ruben Martins, Vasco Manquinho, Ines Lynce [cph] (Copyright holders of included Open-WBO code)
Maintainer:	Matthias Ollech <ollech at gmx.com>
License:	GPL (≥ 3)
NeedsCompilation:	yes
Materials:	NEWS
CRAN checks:	Rwbo results

Documentation:

Reference manual:

Rwbo.html , Rwbo.pdf

Downloads:

Package source:	Rwbo_0.1.1.tar.gz
Windows binaries:	r-devel: not available, r-release: not available, r-oldrel: not available
macOS binaries:	r-release (arm64): not available, r-oldrel (arm64): not available, r-release (x86_64): not available, r-oldrel (x86_64): not available

Linking:

Please use the canonical form https://CRAN.R-project.org/package=Rwbo to link to this page.