Module varisat::clause::gc

Garbage collection of long clauses.

Functions

collect_garbage	Perform a garbage collection of long clauses if necessary.
collect_garbage_now	Unconditionally perform a garbage collection of long clauses.
mark_asserting_clauses	Mark asserting clauses to track them through GC.