Package: Rwbo 0.1.2
Matthias Ollech
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.
Authors:
Rwbo_0.1.2.tar.gz
Rwbo_0.1.2.tar.gz(r-4.7-arm64)Rwbo_0.1.2.tar.gz(r-4.7-x86_64)Rwbo_0.1.2.tar.gz(r-4.6-arm64)Rwbo_0.1.2.tar.gz(r-4.6-x86_64)
Rwbo_0.1.2.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
card.svg |card.png
Rwbo/json (API)
NEWS
| # Install 'Rwbo' in R: |
| install.packages('Rwbo', repos = c('https://cran.r-universe.dev', 'https://cloud.r-project.org')) |
This package does not link to any Github/Gitlab/R-forge repository. No issue tracker or development information is available.
Last updated from:354333fb61. Checks:6 OK. Indexed: yes.
| Target | Result | Time | Files | Syslog |
|---|---|---|---|---|
| linux-devel-arm64 | OK | 137 | ||
| linux-devel-x86_64 | OK | 131 | ||
| source / vignettes | OK | 267 | ||
| linux-release-arm64 | OK | 165 | ||
| linux-release-x86_64 | OK | 129 | ||
| wasm-release | OK | 144 |
Exports:run_open_wbo
Dependencies:
Readme and manuals
Help Manual
| Help page | Topics |
|---|---|
| Run open-wbo_static | run_open_wbo |