:exclamation: This is a read-only mirror of the CRAN R package repository. rpicosat — R Bindings for the 'PicoSAT' SAT Solver. Homepage: https://github.com/dirkschumacher/rpicosat Report bugs for this package: https://github.com/dirkschumacher/rpicosat/issues - View it on GitHub