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