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/>.

Getting started

Package details

AuthorDirk Schumacher [aut, cre], Armin Biere [ctb, cph] (Author and copyright holder of included PicoSAT code)
MaintainerDirk Schumacher <[email protected]>
LicenseMIT + file LICENSE
Version1.0.1
URL https://github.com/dirkschumacher/rpicosat
Package repositoryView on CRAN
Installation Install the latest version of this package by entering the following in R:
install.packages("rpicosat")

Try the rpicosat package in your browser

Any scripts or data that you put into this service are public.

rpicosat documentation built on May 1, 2019, 8:41 p.m.