Package org.jacop.jasat.modules
package org.jacop.jasat.modules
-
ClassesClassDescriptioncounts the activity of literalsmodule used for debug : it logs every event it is informed ofmodule used to guide research by selecting the next literal to assertA component that selects clauses to forget when solver.forget() is called.A module that indicates if a restart would be useful now.A basic searching component, which controls the solver to solve the problemcollects statistics about the solver