Add minimization objective (returns handle index).
(self, expr: ExprRef)
| 820 | return len(self._objectives) - 1 |
| 821 | |
| 822 | def minimize(self, expr: ExprRef) -> int: |
| 823 | """Add minimization objective (returns handle index).""" |
| 824 | self._objectives.append(("min", expr)) |
| 825 | return len(self._objectives) - 1 |
| 826 | |
| 827 | def check(self) -> CheckSatResult: |
| 828 | """Check satisfiability (always returns unknown for optimization).""" |