An interface for solver components, that are connected together via the Core.
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).
It stores the current variables status (affected or not, with which value and explanation).
Copyright © 2018. All rights reserved.