Searched defs:BoolRef (Results 1 – 1 of 1) sorted by relevance
497 def add_source_expr(self, e: z3.BoolRef) -> None:509 def add_assertion(self, e: Union[z3.BoolRef, sympy.Basic]) -> None: