|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
ReductionStrategy | Strategy for reducing the unsatisfiable core of
a SATProver . |
ResolutionTrace | A proof of unsatisfiability generated by a SATProver. |
SATMinSolver | Provides an interface to a SAT solver that produces minimal cost solutions. |
SATProver | Provides an interface to a SAT solver that can generate proofs of unsatisfiability. |
SATSolver | Provides an interface to a SAT solver. |
Class Summary | |
---|---|
Clause | A propositional clause. |
SATFactory | A factory for generating SATSolver instances of a given type. |
Exception Summary | |
---|---|
SATAbortedException | A runtime exception thrown when a sat solver terminates abnormally, usually because it was cancelled. |
Provides access to various Java and C++ SAT solvers through a common SAT Solver interface.
Provides access to various Java and C++ SAT solvers through the SATSolver, SATProver, and SATMinSolver interfaces. The SATFactory class contains a selection of static instances that can be used to generate specific SAT solvers.
SATFactory
,
SATSolver
,
SATProver
,
SATMinSolver
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |