Description
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.
Downloads
174
Last 30 days
23310th
548
Last 90 days
548
Last year
Trend: +0.6% (30d vs prior 30d)
CRAN Check Status
1
NOTE
13
OK
Show all 14 flavors
| Flavor | Status |
|---|---|
| r-devel-linux-x86_64-debian-clang | OK |
| r-devel-linux-x86_64-debian-gcc | OK |
| r-devel-linux-x86_64-fedora-clang | OK |
| r-devel-linux-x86_64-fedora-gcc | OK |
| r-devel-macos-arm64 | OK |
| r-devel-windows-x86_64 | OK |
| r-oldrel-macos-arm64 | OK |
| r-oldrel-macos-x86_64 | OK |
| r-oldrel-windows-x86_64 | NOTE |
| r-patched-linux-x86_64 | OK |
| r-release-linux-x86_64 | OK |
| r-release-macos-arm64 | OK |
| r-release-macos-x86_64 | OK |
| r-release-windows-x86_64 | OK |
Check details (1 non-OK)
NOTE
r-oldrel-windows-x86_64
installed package size
installed size is 10.1Mb
sub-directories of 1Mb or more:
bin 10.1Mb
Check History
NOTE 13 OK · 1 NOTE · 0 WARNING · 0 ERROR · 0 FAILURE Mar 10, 2026
NOTE
r-oldrel-windows-x86_64
installed package size
installed size is 10.1Mb
sub-directories of 1Mb or more:
bin 10.1Mb