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 and 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 and Description
ActivityModule counts the activity of literals
HeuristicAssertionModule module used to guide research by selecting the next literal to assert
HeuristicRestartModule A module that indicates if a restart would be useful now.

Classes in org.jacop.jasat.modules used by org.jacop.satwrapper

Class and Description
ActivityModule counts the activity of literals
HeuristicAssertionModule module used to guide research by selecting the next literal to assert