Jul 19, 2026 · 8 min
OxiZ 0.2.4 Released — A 19-Agent Production-Readiness Audit, Five Fix Waves, and Python String/FP/Quantifier Bindings
OxiZ is a high-performance SMT solver in pure Rust — a Z3 replacement. 0.2.4 lands the results of a 19-agent production-readiness audit and five fix waves — real Sturm sequences, sound SAT conflict analysis, honest Cooper QE, corrected BV division — plus new oxiz-py string, floating-point, and quantifier bindings, with 7,666 tests passing workspace-wide.
releaseoxizsmt-solver