Crandore Hub

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.

Versions across snapshots

VersionRepositoryFileSize
0.1.2 rolling linux/jammy R-4.5 Rwbo_0.1.2.tar.gz 2.9 MiB
0.1.2 rolling linux/noble R-4.5 Rwbo_0.1.2.tar.gz 2.9 MiB
0.1.2 rolling source/ R- Rwbo_0.1.2.tar.gz 158.2 KiB
0.1.2 latest linux/jammy R-4.5 Rwbo_0.1.2.tar.gz 2.9 MiB
0.1.2 latest linux/noble R-4.5 Rwbo_0.1.2.tar.gz 2.9 MiB
0.1.2 latest source/ R- Rwbo_0.1.2.tar.gz 158.2 KiB
0.1.2 2026-04-26 source/ R- Rwbo_0.1.2.tar.gz 158.2 KiB
0.1.2 2026-04-23 source/ R- Rwbo_0.1.2.tar.gz 158.2 KiB
0.1.2 2026-04-09 windows/windows R-4.5 Rwbo_0.1.2.zip 2.9 MiB

Dependencies (latest)

Suggests