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 |
| Reference manual: | Rwbo.html , Rwbo.pdf |
| Package source: | Rwbo_0.1.2.tar.gz |
| Windows binaries: | r-devel: Rwbo_0.1.2.zip, r-release: Rwbo_0.1.2.zip, r-oldrel: Rwbo_0.1.2.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 |
Please use the canonical form https://CRAN.R-project.org/package=Rwbo to link to this page.
Need a high-speed mirror for your open-source project?
Contact our mirror admin team at info@clientvps.com.
This archive is provided as a free public service to the community.
Proudly supported by infrastructure from VPSPulse , RxServers , BuyNumber , UnitVPS , OffshoreName and secure payment technology by ArionPay.