Uses of Package
org.sat4j.specs

Packages that use org.sat4j.specs

Package	Description
org.sat4j
org.sat4j.core
org.sat4j.minisat
org.sat4j.minisat.constraints
org.sat4j.minisat.constraints.card
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.core
org.sat4j.opt
org.sat4j.pb
org.sat4j.pb.constraints
org.sat4j.pb.constraints.pb
org.sat4j.pb.core
org.sat4j.pb.reader
org.sat4j.pb.tools
org.sat4j.reader
org.sat4j.specs
org.sat4j.tools
org.sat4j.tools.encoding
org.sat4j.tools.xplain

Classes in org.sat4j.specs used by org.sat4j

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
ILogAble Utility interface to catch objects with logging capability (able to log).
IProblem Access to the information related to a given problem instance.
ISolver This interface contains all services provided by a SAT solver.
TimeoutException Exception launched when the solver cannot solve a problem within its allowed time.

Classes in org.sat4j.specs used by org.sat4j.core

Class and Description
IConstr The most general abstraction for handling a constraint.
ISolver This interface contains all services provided by a SAT solver.
IteratorInt Iterator interface to avoid boxing int into Integer.
IVec An abstraction on the type of vector used in the library.
IVecInt An abstraction for the vector of int used on the library.

Classes in org.sat4j.specs used by org.sat4j.minisat

Class and Description
ISolver This interface contains all services provided by a SAT solver.

Classes in org.sat4j.specs used by org.sat4j.minisat.constraints

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IVec An abstraction on the type of vector used in the library.
IVecInt An abstraction for the vector of int used on the library.
UnitPropagationListener Interface providing the unit propagation capability.

Classes in org.sat4j.specs used by org.sat4j.minisat.constraints.card

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IConstr The most general abstraction for handling a constraint.
IVecInt An abstraction for the vector of int used on the library.
UnitPropagationListener Interface providing the unit propagation capability.

Classes in org.sat4j.specs used by org.sat4j.minisat.constraints.cnf

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IConstr The most general abstraction for handling a constraint.
IVec An abstraction on the type of vector used in the library.
IVecInt An abstraction for the vector of int used on the library.
UnitPropagationListener Interface providing the unit propagation capability.

Classes in org.sat4j.specs used by org.sat4j.minisat.core

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IConstr The most general abstraction for handling a constraint.
ILogAble Utility interface to catch objects with logging capability (able to log).
IProblem Access to the information related to a given problem instance.
ISolver This interface contains all services provided by a SAT solver.
ISolverService The aim on that interface is to allow power users to communicate with the SAT solver using Dimacs format.
IVec An abstraction on the type of vector used in the library.
IVecInt An abstraction for the vector of int used on the library.
Lbool That enumeration defines the possible truth value for a variable: satisfied, falsified or unknown/undefined.
RandomAccessModel That interface allows to efficiently retrieve the truth value of a given variable in the solver.
SearchListener Interface to the solver main steps.
TimeoutException Exception launched when the solver cannot solve a problem within its allowed time.
UnitClauseProvider Interface for engines able to derive unit clauses for the current problem.
UnitPropagationListener Interface providing the unit propagation capability.

Classes in org.sat4j.specs used by org.sat4j.opt

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IConstr The most general abstraction for handling a constraint.
IOptimizationProblem Represents an optimization problem.
IProblem Access to the information related to a given problem instance.
ISolver This interface contains all services provided by a SAT solver.
IVecInt An abstraction for the vector of int used on the library.
RandomAccessModel That interface allows to efficiently retrieve the truth value of a given variable in the solver.
TimeoutException Exception launched when the solver cannot solve a problem within its allowed time.

Classes in org.sat4j.specs used by org.sat4j.pb

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IConstr The most general abstraction for handling a constraint.
ILogAble Utility interface to catch objects with logging capability (able to log).
IOptimizationProblem Represents an optimization problem.
IProblem Access to the information related to a given problem instance.
ISolver This interface contains all services provided by a SAT solver.
ISolverService The aim on that interface is to allow power users to communicate with the SAT solver using Dimacs format.
IVec An abstraction on the type of vector used in the library.
IVecInt An abstraction for the vector of int used on the library.
RandomAccessModel That interface allows to efficiently retrieve the truth value of a given variable in the solver.
TimeoutException Exception launched when the solver cannot solve a problem within its allowed time.

Classes in org.sat4j.specs used by org.sat4j.pb.constraints

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IVec An abstraction on the type of vector used in the library.
IVecInt An abstraction for the vector of int used on the library.
UnitPropagationListener Interface providing the unit propagation capability.

Classes in org.sat4j.specs used by org.sat4j.pb.constraints.pb

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IConstr The most general abstraction for handling a constraint.
IVec An abstraction on the type of vector used in the library.
IVecInt An abstraction for the vector of int used on the library.
UnitPropagationListener Interface providing the unit propagation capability.

Classes in org.sat4j.specs used by org.sat4j.pb.core

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IConstr The most general abstraction for handling a constraint.
IProblem Access to the information related to a given problem instance.
ISolver This interface contains all services provided by a SAT solver.
ISolverService The aim on that interface is to allow power users to communicate with the SAT solver using Dimacs format.
IVec An abstraction on the type of vector used in the library.
IVecInt An abstraction for the vector of int used on the library.
RandomAccessModel That interface allows to efficiently retrieve the truth value of a given variable in the solver.
SearchListener Interface to the solver main steps.
TimeoutException Exception launched when the solver cannot solve a problem within its allowed time.
UnitClauseProvider Interface for engines able to derive unit clauses for the current problem.
UnitPropagationListener Interface providing the unit propagation capability.

Classes in org.sat4j.specs used by org.sat4j.pb.reader

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IProblem Access to the information related to a given problem instance.
IVec An abstraction on the type of vector used in the library.
IVecInt An abstraction for the vector of int used on the library.

Classes in org.sat4j.specs used by org.sat4j.pb.tools

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IConstr The most general abstraction for handling a constraint.
IOptimizationProblem Represents an optimization problem.
IProblem Access to the information related to a given problem instance.
ISolver This interface contains all services provided by a SAT solver.
IVec An abstraction on the type of vector used in the library.
IVecInt An abstraction for the vector of int used on the library.
Lbool That enumeration defines the possible truth value for a variable: satisfied, falsified or unknown/undefined.
RandomAccessModel That interface allows to efficiently retrieve the truth value of a given variable in the solver.
SearchListener Interface to the solver main steps.
TimeoutException Exception launched when the solver cannot solve a problem within its allowed time.
UnitClauseProvider Interface for engines able to derive unit clauses for the current problem.

Classes in org.sat4j.specs used by org.sat4j.reader

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IGroupSolver Represents a CNF in which clauses are grouped into levels.
IProblem Access to the information related to a given problem instance.
ISolver This interface contains all services provided by a SAT solver.
IVecInt An abstraction for the vector of int used on the library.

Classes in org.sat4j.specs used by org.sat4j.specs

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IConstr The most general abstraction for handling a constraint.
ILogAble Utility interface to catch objects with logging capability (able to log).
IProblem Access to the information related to a given problem instance.
ISolver This interface contains all services provided by a SAT solver.
ISolverService The aim on that interface is to allow power users to communicate with the SAT solver using Dimacs format.
IteratorInt Iterator interface to avoid boxing int into Integer.
IVec An abstraction on the type of vector used in the library.
IVecInt An abstraction for the vector of int used on the library.
Lbool That enumeration defines the possible truth value for a variable: satisfied, falsified or unknown/undefined.
RandomAccessModel That interface allows to efficiently retrieve the truth value of a given variable in the solver.
SearchListener Interface to the solver main steps.
TimeoutException Exception launched when the solver cannot solve a problem within its allowed time.
UnitClauseProvider Interface for engines able to derive unit clauses for the current problem.
UnitPropagationListener Interface providing the unit propagation capability.

Classes in org.sat4j.specs used by org.sat4j.tools

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IConstr The most general abstraction for handling a constraint.
IGroupSolver Represents a CNF in which clauses are grouped into levels.
IOptimizationProblem Represents an optimization problem.
IProblem Access to the information related to a given problem instance.
ISolver This interface contains all services provided by a SAT solver.
ISolverService The aim on that interface is to allow power users to communicate with the SAT solver using Dimacs format.
IVec An abstraction on the type of vector used in the library.
IVecInt An abstraction for the vector of int used on the library.
Lbool That enumeration defines the possible truth value for a variable: satisfied, falsified or unknown/undefined.
RandomAccessModel That interface allows to efficiently retrieve the truth value of a given variable in the solver.
SearchListener Interface to the solver main steps.
TimeoutException Exception launched when the solver cannot solve a problem within its allowed time.
UnitClauseProvider Interface for engines able to derive unit clauses for the current problem.
UnitPropagationListener Interface providing the unit propagation capability.

Classes in org.sat4j.specs used by org.sat4j.tools.encoding

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IConstr The most general abstraction for handling a constraint.
ISolver This interface contains all services provided by a SAT solver.
IVecInt An abstraction for the vector of int used on the library.

Classes in org.sat4j.specs used by org.sat4j.tools.xplain

Class and Description
ContradictionException That exception is launched whenever a trivial contradiction is found (e.g.
IConstr The most general abstraction for handling a constraint.
IGroupSolver Represents a CNF in which clauses are grouped into levels.
IProblem Access to the information related to a given problem instance.
ISolver This interface contains all services provided by a SAT solver.
IVecInt An abstraction for the vector of int used on the library.
RandomAccessModel That interface allows to efficiently retrieve the truth value of a given variable in the solver.
TimeoutException Exception launched when the solver cannot solve a problem within its allowed time.