Arithmetical Optimization #166

Unanswered

J0s3f asked this question in Q&A

J0s3f
Dec 13, 2024

Hello,
is there any way to formulate an optimization problem for Z3 with ksmt?
Z3 can handle them: https://microsoft.github.io/z3guide/docs/optimization/arithmeticaloptimization/

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment