A class that can register to the Solver, to be notified when some events occur.
interface for components that listen for backjumps, or restarts
module that listens to add/removal of clauses
module that listens to conflicts that are discovered.
module used when an explanation is found
called when the solver forget() method is called.
module called when a propagate event is called
module called when solution is found.
called when the solver starts or stops.
Copyright © 2020. All rights reserved.