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 |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.