Apr 4, 2026 · 8 min
OxiZ 0.2.0 Released — An Easy API, no_std/zkVM Support, and ML-Guided Heuristics for the Pure Rust SMT Solver
OxiZ 0.2.0 ships an ergonomic EasySolver builder, no_std support for bare-metal/zkVM (RISC-V), a Pure-Rust ML heuristics crate (oxiz-ml), Skolemization, a modular WASM js_api, and 100% Z3 parity across 88 benchmarks. Zero C/C++.
releaseoxizsmt-solver