counts the activity of literals
module used for debug : it logs every event it is informed of
module used to guide research by selecting the next literal to assert
A component that selects clauses to forget when solver.forget() is called.
A module that indicates if a restart would be useful now.
A basic searching component, which controls the solver to solve the problem
collects statistics about the solver
Copyright © 2022. All rights reserved.