API for dirkschumacher/rpicosat
R Bindings for the 'PicoSAT' SAT Solver
| Global functions | |
|---|---|
| format.picosat_solution | Source code |
| picosat_added_original_clauses | Man page Source code |
| picosat_added_original_clauses.picosat_solution | Source code |
| picosat_decisions | Man page Source code |
| picosat_decisions.picosat_solution | Source code |
| picosat_propagations | Man page Source code |
| picosat_propagations.picosat_solution | Source code |
| picosat_sat | Man page Source code |
| picosat_seconds | Man page Source code |
| picosat_seconds.picosat_solution | Source code |
| picosat_solution_status | Man page Source code |
| picosat_solution_status.picosat_solution | Man page Source code |
| picosat_variables | Man page Source code |
| picosat_variables.picosat_solution | Source code |
| picosat_visits | Man page Source code |
| picosat_visits.picosat_solution | Source code |
| print.picosat_solution | Source code |
