Jul 31, 2026 · 9 min
OxiZ 0.3.1 Released — Wide Bit-Vectors Stop Lying, MBQI Reaches Completeness, and 168/168 Correct on the Z3 Parity Suite
OxiZ 0.3.1 is a soundness-and-honesty release: five reported GitHub issues plus 40+ bugs of the same silently-wrong-answer shape are fixed, wide (>64-bit) bit-vectors are now exact via BigUint, and MBQI completeness brings the Z3 differential parity suite to 168/168 Correct, 0 Wrong. 9,668 tests passing. Pure Rust, Apache-2.0.
releaseoxizsmt-solver