Searched defs:unsat (Results 1 – 2 of 2) sorted by relevance
206 def unsat(goal: NamedCType) -> NoReturn: function
163 unsat bool // true if facts contains a contradiction member