Package org.jacop.satwrapper
-
Interface Summary Interface Description WrapperComponent a component that is aware of the existence of a SatWrapper -
Class Summary Class Description SatChangesListener this class listens to changes in literals in SAT solver, and reminds what changes this implies for CP variablesSatTranslation SatTranslation defines SAT clauses for typical logical constraintsSatWrapper wrapper to communicate between SAT solver and CP solver.WrapperDebugModule a class used to debug, but with additional data