|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SATAbortedException | |
---|---|
kodkod.engine.satlab | Provides access to various Java and C++ SAT solvers through a common SAT Solver interface. |
Uses of SATAbortedException in kodkod.engine.satlab |
---|
Methods in kodkod.engine.satlab that throw SATAbortedException | |
---|---|
boolean |
SATSolver.solve()
Returns true if there is a satisfying assignment for this.clauses. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |