Package org.jacop.jasat.modules

Class Summary

Class	Description
ActivityModule	counts the activity of literals
DebugModule	module used for debug : it logs every event it is informed of
HeuristicAssertionModule	module used to guide research by selecting the next literal to assert
HeuristicForgetModule	A component that selects clauses to forget when solver.forget() is called.
HeuristicRestartModule	A module that indicates if a restart would be useful now.
SearchModule	A basic searching component, which controls the solver to solve the problem
StatModule	collects statistics about the solver