Searched defs:clause_not_sat (Results 1 – 3 of 3) sorted by relevance
183 …clause_not_sat = 4, //!< Do not add clause if it is satisfied (but not asserting) w.r.t cur… enumerator