Module varisat::clause::assess

Clause assessment.

Functions

assess_learned_clause	Assess the newly learned clause and generate a clause header.
bump_clause	Update stats for clauses involved in the conflict.
select_tier	Compute the tier for a redundant clause with a given glue level.