org.jacop.satwrapper
Interfaces
WrapperComponent
Classes
SatChangesListener
SatTranslation
SatWrapper
WrapperDebugModule