I have a problem where I am considering to use incomplete MaxSAT algorithms. Are there any incomplete MaxSMT solvers implemented in z3?
Asked
Active
Viewed 98 times
1
-
I doubt z3 has any. @PatrickTrentin might know. If not, ask at the z3 discussions page: github.com/Z3Prover/z3/discussions – alias Apr 07 '21 at 17:35