Bindings for the 'PicoSAT' solver to solve Boolean satisfiability problems (SAT). The boolean satisfiability problem asks the question if a given boolean formula can be TRUE; i.e. does there exist an assignment of TRUE/FALSE for each variable such that the whole formula is TRUE? The package bundles 'PicoSAT' solver release 965 <http://www.fmv.jku.at/picosat/>.
| Version: | 1.0.1 |
| Depends: | R (≥ 3.4.0) |
| Suggests: | testthat, covr |
| Published: | 2017-11-15 |
| Author: | Dirk Schumacher [aut, cre], Armin Biere [ctb, cph] (Author and copyright holder of included PicoSAT code) |
| Maintainer: | Dirk Schumacher <mail at dirk-schumacher.net> |
| BugReports: | https://github.com/dirkschumacher/rpicosat/issues |
| License: | MIT + file LICENSE |
| URL: | https://github.com/dirkschumacher/rpicosat |
| NeedsCompilation: | yes |
| Materials: | README NEWS |
| CRAN checks: | rpicosat results |
| Reference manual: | rpicosat.pdf |
| Package source: | rpicosat_1.0.1.tar.gz |
| Windows binaries: | r-devel: rpicosat_1.0.1.zip, r-release: rpicosat_1.0.1.zip, r-oldrel: rpicosat_1.0.1.zip |
| macOS binaries: | r-release: rpicosat_1.0.1.tgz, r-oldrel: rpicosat_1.0.1.tgz |
| Old sources: | rpicosat archive |
Please use the canonical form https://CRAN.R-project.org/package=rpicosat to link to this page.