| Interface | Description |
|---|---|
| SolverComponent |
An interface for solver components, that are connected together via the Core.
|
| 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).
|
Copyright © 2022. All rights reserved.