Package org.jacop.satwrapper


package org.jacop.satwrapper
  • Class
    Description
    this class listens to changes in literals in SAT solver, and reminds what changes this implies for CP variables
    SatTranslation defines SAT clauses for typical logical constraints
    wrapper to communicate between SAT solver and CP solver.
    a component that is aware of the existence of a SatWrapper
    a class used to debug, but with additional data