Apr 26, 2026 · 7 min
OxiZ 0.2.1 Released — Faster Congruence Closure, Where Every SMT Query Lives
OxiZ is a pure-Rust SMT solver and Z3 replacement. 0.2.1 sharpens the EUF (congruence-closure) hot path: reusable allocation buffers, O(k) incremental pop() via a sig_table/fingerprint_table trail, cache-friendly ENode layout, and new production EUF criterion benchmarks. 100% Z3 parity, still pure Rust.
releaseoxizsmt-solver