It appears you don't have a PDF plugin for this browser. You can click here to download the reference manual.
1.0.1 by Dirk Schumacher, 6 years ago
https://github.com/dirkschumacher/rpicosat
Report a bug at https://github.com/dirkschumacher/rpicosat/issues
Browse source code at https://github.com/cran/rpicosat
Authors: Dirk Schumacher [aut, cre] , Armin Biere [ctb, cph] (Author and copyright holder of included PicoSAT code)
Documentation: PDF Manual
MIT + file LICENSE license
Suggests testthat, covr
See at CRAN