Searched defs:max_temp_lev2_learnt_clauses (Results 1 – 2 of 2) sorted by relevance
251 unsigned max_temp_lev2_learnt_clauses; variable