picosat_solution_status: Get the solution status
In dirkschumacher/rpicosat: R Bindings for the 'PicoSAT' SAT Solver
Description
Usage
Arguments
Value
Description
Get the solution status
Usage
1
2
3
4
picosat_solution_status(x)
## S3 method for class 'picosat_solution'
picosat_solution_status(x)
Arguments
x
a solution from the solver
Value
character either PICOSAT_SATISFIABLE,
PICOSAT_UNSATISFIABLE or PICOSAT_UNKNOWN
dirkschumacher/rpicosat documentation built on Jan. 23, 2022, 10:55 a.m.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Description Usage Arguments Value
Description
Get the solution status
Usage
1 2 3 4 | picosat_solution_status(x)
## S3 method for class 'picosat_solution'
picosat_solution_status(x)
|
Arguments
x |
a solution from the solver |
Value
character either PICOSAT_SATISFIABLE, PICOSAT_UNSATISFIABLE or PICOSAT_UNKNOWN
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Embedding an R snippet on your website
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.