|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.