Uses of Package
org.jacop.jasat.core
Packages that use org.jacop.jasat.core
Package
Description
-
Classes in org.jacop.jasat.core used by org.jacop.jasat.coreClassDescriptionThe configuration for a solver.A solver component for conflict learning.The main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.An interface for solver components, that are connected together via the Core.It stores the current variables status (affected or not, with which value and explanation).
-
Classes in org.jacop.jasat.core used by org.jacop.jasat.core.clausesClassDescriptionThe main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.An interface for solver components, that are connected together via the Core.It stores the current variables status (affected or not, with which value and explanation).
-
Classes in org.jacop.jasat.core used by org.jacop.jasat.modulesClassDescriptionThe main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.An interface for solver components, that are connected together via the Core.It stores the current variables status (affected or not, with which value and explanation).
-
Classes in org.jacop.jasat.core used by org.jacop.jasat.modules.interfacesClassDescriptionAn interface for solver components, that are connected together via the Core.
-
Classes in org.jacop.jasat.core used by org.jacop.jasat.utilsClassDescriptionThe main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.An interface for solver components, that are connected together via the Core.
-
Classes in org.jacop.jasat.core used by org.jacop.satwrapperClassDescriptionThe main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.An interface for solver components, that are connected together via the Core.It stores the current variables status (affected or not, with which value and explanation).
-
Classes in org.jacop.jasat.core used by org.jacop.satwrapper.translationClassDescriptionAn interface for solver components, that are connected together via the Core.