Shorthand: create solver, add args, check.
(*args: BoolRef)
| 742 | |
| 743 | |
| 744 | def solve(*args: BoolRef) -> CheckSatResult: |
| 745 | """Shorthand: create solver, add args, check.""" |
| 746 | s = Solver() |
| 747 | s.add(*args) |
| 748 | return s.check() |
| 749 | |
| 750 | |
| 751 | def simplify(expr: ExprRef) -> ExprRef: |