Package org.jacop.jasat.core


package org.jacop.jasat.core
  • Class
    Description
    The 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).