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.2
Depends:	R (≥ 4.0)
Suggests:	testthat (≥ 3.0)
Published:	2026-01-21
DOI:	10.32614/CRAN.package.Rwbo
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.2.tar.gz
Windows binaries:	r-devel: Rwbo_0.1.1.zip, r-release: Rwbo_0.1.1.zip, r-oldrel: Rwbo_0.1.1.zip
macOS binaries:	r-release (arm64): Rwbo_0.1.2.tgz, r-oldrel (arm64): Rwbo_0.1.2.tgz, r-release (x86_64): Rwbo_0.1.2.tgz, r-oldrel (x86_64): Rwbo_0.1.2.tgz
Old sources:	Rwbo archive

Linking:

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