Module varisat::clause::activity

Clause activity.

Structs

ClauseActivity

Clause activity.

Functions

bump_clause_activity	Increase a clause's activity.
decay_clause_activities	Decay the clause activities.
rescale_clause_activities	Rescale all values to avoid an overflow.
rescale_limit	Rescale activities if any value exceeds this value.