Uses of Class
kodkod.engine.satlab.SATAbortedException

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.