R Bindings for the 'PicoSAT' SAT Solver
![[R logo]](../../../doc/html/Rlogo.svg)
![[Up]](../../../doc/html/left.jpg)
![[Top]](../../../doc/html/up.jpg)
Documentation for package ‘rpicosat’ version 1.0.1
Help Pages
| 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_solution_status.picosat_solution | Get the solution status |
| picosat_variables | The number of variables in a model |
| picosat_visits | The number of visits during a search |