| Interface | Description |
|---|---|
| WrapperComponent |
a component that is aware of the existence of a SatWrapper
|
| Class | Description |
|---|---|
| SatChangesListener |
this class listens to changes in literals in SAT solver, and reminds
what changes this implies for CP variables
|
| SatTranslation |
SatTranslation defines SAT clauses for typical logical constraints
|
| SatWrapper |
wrapper to communicate between SAT solver and CP solver.
|
| WrapperDebugModule |
a class used to debug, but with additional data
|
Copyright © 2022. All rights reserved.