Nothing
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
Browse package contents
Package details |
|
|---|---|
| Author | Dirk Schumacher [aut, cre], Armin Biere [ctb, cph] (Author and copyright holder of included PicoSAT code) |
| Maintainer | Dirk Schumacher <mail@dirk-schumacher.net> |
| License | MIT + file LICENSE |
| Version | 1.0.1 |
| URL | https://github.com/dirkschumacher/rpicosat |
| Package repository | View on CRAN |
| Installation |
Install the latest version of this package by entering the following in R:
|
Try the rpicosat package in your browser
Any scripts or data that you put into this service are public.
