Searched defs:conflict_cl (Results 1 – 1 of 1) sorted by relevance
922 ClauseIdx conflict_cl; in conflict_analysis_zchaff() local955 int conflict_cl = add_clause(_conflict_lits, false); in conflict_analysis_zchaff() local