sci-CRAN/rpicosat
R Bindings for the PicoSAT SAT Solver
USE Flags
r_suggests_covr
* This flag is undocumented *
r_suggests_testthat
* This flag is undocumented *
byte-compile
* This flag is undocumented *