Searched defs:clause_no_heuristic (Results 1 – 3 of 3) sorted by relevance
192 clause_no_heuristic = 512,//!< Do not notify heuristic about new clause. enumerator