Package org.jacop.jasat.core
package org.jacop.jasat.core
-
ClassDescriptionThe 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.The main class for the SAT solver when it is used standalone (without being controlled by a master).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).