Solve using a specific solver instance.
(s: Solver, *args: BoolRef)
| 772 | |
| 773 | |
| 774 | def solve_using(s: Solver, *args: BoolRef) -> CheckSatResult: |
| 775 | """Solve using a specific solver instance.""" |
| 776 | s.add(*args) |
| 777 | return s.check() |
| 778 | |
| 779 | |
| 780 | def parse_smt2_string(s: str, sorts: dict | None = None, decls: dict | None = None) -> list: |