Some of our solvers could be updated: - [ ] MathSAT 5.6.17 - [ ] Z3 5.0.0 - [ ] Princess 2026-05-20 - [ ] CVC5 1.3.4 - [ ] Bitwuzla 0.9.1 - [ ] (SMTInterpol 2.5-1388, see [here](https://github.com/sosy-lab/java-smt/pull/648))
Some of our solvers could be updated: