Uses of Package
org.jacop.jasat.core

Packages that use 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.
    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).
  • Class
    Description
    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).
  • Class
    Description
    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).
  • Class
    Description
    An interface for solver components, that are connected together via the Core.
  • Class
    Description
    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.
  • Class
    Description
    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).
  • Class
    Description
    An interface for solver components, that are connected together via the Core.