org.jacop.satwrapper

Interfaces

• WrapperComponent

Classes

• SatChangesListener
• SatTranslation
• SatWrapper
• WrapperDebugModule