ClauseObservers
object ClauseObservers
The observers of the clauses resolved by the engine, in any resolution of any solver while they are registered: an instrument for tools such as coverage reports, costing a check of an empty list otherwise.
Functions
Link copied to clipboard
Registers observer until the returned handle is closed