Check satisfiability (always returns unknown for optimization).
(self)
| 825 | return len(self._objectives) - 1 |
| 826 | |
| 827 | def check(self) -> CheckSatResult: |
| 828 | """Check satisfiability (always returns unknown for optimization).""" |
| 829 | return unknown |
| 830 | |
| 831 | def model(self) -> ModelRef: |
| 832 | raise NotImplementedError( |
no outgoing calls