Package org.jacop.jasat.core
-
Interface Summary Interface Description SolverComponent An interface for solver components, that are connected together via the Core. -
Class Summary Class Description Config The configuration for a solver.ConflictLearning A solver component for conflict learning.Core The main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.RunSolver The main class for the SAT solver when it is used standalone (without being controlled by a master).SolverState Trail It stores the current variables status (affected or not, with which value and explanation).