Optimise with assumptions #193
Description
To properly support optimisation proofs, we should implement them by using assumptions rather than posting new hard constraints.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
To properly support optimisation proofs, we should implement them by using assumptions rather than posting new hard constraints.