Description Usage Arguments Value
Get the solution status
1 2 3 4 | picosat_solution_status(x)
## S3 method for class 'picosat_solution'
picosat_solution_status(x)
|
x |
a solution from the solver |
character either PICOSAT_SATISFIABLE, PICOSAT_UNSATISFIABLE or PICOSAT_UNKNOWN
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.