org.jacop.satwrapper.translation

Classes

• DomainClausesDatabase
• DomainTranslator
• LazyCpVarDomain
• SatCPBridge
• SimpleCpVarDomain