Man pages for dirkschumacher/rpicosat
R Bindings for the 'PicoSAT' SAT Solver
| picosat_added_original_clauses | The number of original clauses |
| picosat_decisions | The number of decisions during a search |
| picosat_propagations | The number of propagations during a search |
| picosat_sat | Solve SAT problems with the 'PicoSAT' solver |
| picosat_seconds | Time spent in 'picosat_sat' |
| picosat_solution_status | Get the solution status |
| picosat_variables | The number of variables in a model |
| picosat_visits | The number of visits during a search |
