Aug 5, 2026 · 9 min
OxiZ 0.3.2 Released — Eight Unmerged Pull Requests, One In-House Soundness Sweep, and 168/168 Correct Again
OxiZ 0.3.2 is a soundness release driven by an external differential-testing report: 8 pull requests, 0 merged, every fix independently reimplemented from scratch and backed by a regression test. EUF congruence, Bool/EUF encoding, Arithmetic⇄EUF combination, and NLSAT conflict analysis are all corrected — 168/168 Correct on the Z3 parity suite, 9,953 tests passing. Pure Rust, Apache-2.0.
releaseoxizsmt-solver