Jul 22, 2026 · 8 min
OxiZ 0.3.0 Released — Ground-String Solving, a Sound FP Model Finder, and 0 Wrong Answers on 154 Decisive Z3 Comparisons
OxiZ 0.3.0 is a hardening-and-capability wave: a new ground string decision procedure and concrete floating-point model finder lift qf_s and qf_fp from partial to 10/10 on the Z3 parity suite, MBQI SAT certification advances three quantified logics, and a dozen soundness bugs are fixed — 8,119 tests passing, 0 Wrong verdicts across 154 decisive Z3 comparisons. Pure Rust, Apache-2.0.
releaseoxizsmt-solver