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 Description SatTranslation SatTranslation defines SAT clauses for typical logical constraints -
Classes in org.jacop.satwrapper used by org.jacop.fz.constraints Class Description SatTranslation SatTranslation defines SAT clauses for typical logical constraints -
Classes in org.jacop.satwrapper used by org.jacop.satwrapper Class Description SatChangesListener this class listens to changes in literals in SAT solver, and reminds what changes this implies for CP variablesSatWrapper 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 Description SatWrapper wrapper to communicate between SAT solver and CP solver.WrapperComponent a component that is aware of the existence of a SatWrapper