Sign in Sign up
cargo

oxiz

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

cargo View on Cargo github View on Github

Activity

Latest release
2w ago
Total releases
12
Cadence
~15 days
Last 12 months
12

Reach

Downloads
8.6k
Stars
56

Details

License
Apache-2.0
First release
Jan 12, 2026
Releases
Version Released
0.3.3 patch
0.3.2 patch
0.3.1 patch
0.3.0 minor
0.2.4 patch
0.2.3 patch
0.2.2 patch
0.2.1 patch
0.2.0 minor
0.1.3 patch
0.1.2 patch
0.1.1 initial