Uses of Package
org.jacop.jasat.modules
Packages that use org.jacop.jasat.modules
-
Classes in org.jacop.jasat.modules used by org.jacop.jasat.coreClassDescriptionA basic searching component, which controls the solver to solve the problem
-
Classes in org.jacop.jasat.modules used by org.jacop.jasat.modulesClassDescriptioncounts the activity of literalsmodule used to guide research by selecting the next literal to assertA module that indicates if a restart would be useful now.
-
Classes in org.jacop.jasat.modules used by org.jacop.satwrapperClassDescriptioncounts the activity of literalsmodule used to guide research by selecting the next literal to assert