Jan 21, 2026 · 7 min
OxiZ 0.1.2 Released — Python Bindings, a Native Math Stack, and SMT-COMP Tooling for the Pure Rust SMT Solver
OxiZ 0.1.2 adds PyO3 Python bindings (oxiz-py), a Pure-Rust BLAS + multi-precision (MPFR-style) math layer, an SMT-COMP benchmark suite, and a vastly expanded CLI (dashboard/server/distributed/TPTP/interpolation). A Pure Rust Z3 replacement with zero C/C++.
releaseoxizsmt-solver