org.jacop.jasat.modules.interfaces

Interfaces

• AssertionListener
• BackjumpListener
• ClauseListener
• ConflictListener
• ExplanationListener
• ForgetListener
• PropagateListener
• SolutionListener
• StartStopListener