rpicosat: R Bindings for the 'PicoSAT' SAT Solver

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: not available
OS X El Capitan binaries: r-release: rpicosat_1.0.1.tgz
OS X Mavericks binaries: r-oldrel: not available
Old sources: rpicosat archive


Please use the canonical form https://CRAN.R-project.org/package=rpicosat to link to this page.