Package org.jacop.satwrapper
package org.jacop.satwrapper
-
ClassDescriptionthis class listens to changes in literals in SAT solver, and reminds what changes this implies for CP variablesSatTranslation defines SAT clauses for typical logical constraintswrapper to communicate between SAT solver and CP solver.a component that is aware of the existence of a SatWrappera class used to debug, but with additional data