Module varisat::analyze_conflict

Learns a new clause by analyzing a conflict.

Structs

AnalyzeConflict	Temporaries for conflict analysis
LevelAbstraction	A Bloom filter of levels.

Functions

add_literal	Add a literal to the current clause.
analyze_conflict	Learns a new clause by analyzing a conflict.
minimize_clause	Performs recursive clause minimization.