Uses of Package
org.jacop.jasat.modules
-
Packages that use org.jacop.jasat.modules Package Description org.jacop.jasat.core org.jacop.jasat.modules org.jacop.satwrapper -
Classes in org.jacop.jasat.modules used by org.jacop.jasat.core Class Description SearchModule A basic searching component, which controls the solver to solve the problem -
Classes in org.jacop.jasat.modules used by org.jacop.jasat.modules Class Description ActivityModule counts the activity of literalsHeuristicAssertionModule module used to guide research by selecting the next literal to assertHeuristicRestartModule A module that indicates if a restart would be useful now. -
Classes in org.jacop.jasat.modules used by org.jacop.satwrapper Class Description ActivityModule counts the activity of literalsHeuristicAssertionModule module used to guide research by selecting the next literal to assert