Rwbo (version 0.1.2)

Run the 'Open-WBO' MaxSAT Solver

Description

Provides a wrapper for running the bundled 'Open-WBO' Maximum Satisfiability (MaxSAT) solver (). Users can pass command-line arguments to the solver and capture its output as a character string or file.

Copy Link

Version

Install

install.packages('Rwbo')

Version

0.1.2

License

GPL (>= 3)

Maintainer

Matthias Ollech

Last Published

January 21st, 2026

Functions in Rwbo (0.1.2)

run_open_wbo

Run open-wbo_static