Nothing
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
Package details 


Author  Dirk Schumacher [aut, cre], Armin Biere [ctb, cph] (Author and copyright holder of included PicoSAT code) 
Date of publication  20171115 22:48:38 UTC 
Maintainer  Dirk Schumacher <[email protected]> 
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:

Any scripts or data that you put into this service are public.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.