rpicosat (cran): R Bindings for the 'PicoSAT' SAT Solver
Keywords: logic|logic-programming|picosat|r|sat|sat-solver|satisfiability