Uses of Package
org.jacop.satwrapper

Packages that use org.jacop.satwrapper

Package	Description
org.jacop.fz
org.jacop.fz.constraints
org.jacop.satwrapper
org.jacop.satwrapper.translation

Classes in org.jacop.satwrapper used by org.jacop.fz

Class and Description
SatTranslation SatTranslation defines SAT clauses for typical logical constraints

Classes in org.jacop.satwrapper used by org.jacop.fz.constraints

Class and Description
SatTranslation SatTranslation defines SAT clauses for typical logical constraints

Classes in org.jacop.satwrapper used by org.jacop.satwrapper

Class and Description
SatChangesListener this class listens to changes in literals in SAT solver, and reminds what changes this implies for CP variables
SatWrapper wrapper to communicate between SAT solver and CP solver.
WrapperComponent a component that is aware of the existence of a SatWrapper

Classes in org.jacop.satwrapper used by org.jacop.satwrapper.translation

Class and Description
SatWrapper wrapper to communicate between SAT solver and CP solver.
WrapperComponent a component that is aware of the existence of a SatWrapper