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
- Version1.0.1
- R version≥ 3.4.0
- LicenseMIT
- Licensefile LICENSE
- Needs compilation?Yes
- Last release11/15/2017
Documentation
Team
Dirk Schumacher
Armin Biere
Show author detailsRolesContributor, Copyright holder
Insights
Last 30 days
Last 365 days
The following line graph shows the downloads per day. You can hover over the graph to see the exact number of downloads per day.
Data provided by CRAN
Binaries
Dependencies
- Depends1 package
- Suggests2 packages