Enum splr::solver::Certificate [−][src]
Expand description
Normal results returned by Solver.
Variants
It is satisfiable; vec
is such an assignment sorted by var order.
It is unsatisfiable.
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
type Error = SolverError
type Error = SolverError
The type returned in the event of a conversion error.
Performs the conversion.