Package org.jacop.satwrapper.translation
package org.jacop.satwrapper.translation
-
ClassesClassDescriptionclause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.A component that translates CP variables ranges to boolean clauses to be added to the SAT solverLazyCpVarDomain<E extends IntVar>Deprecated.a node of the double linked listinterface representing the domain of a CP variable as a range.A simple representation for small domains, not lazy.