Man pages for rpicosat
R Bindings for the 'PicoSAT' SAT Solver

picosat_added_original_clausesThe number of original clauses
picosat_decisionsThe number of decisions during a search
picosat_propagationsThe number of propagations during a search
picosat_satSolve SAT problems with the 'PicoSAT' solver
picosat_secondsTime spent in 'picosat_sat'
picosat_solution_statusGet the solution status
picosat_variablesThe number of variables in a model
picosat_visitsThe number of visits during a search
rpicosat documentation built on May 1, 2019, 8:41 p.m.