Sign in Sign up
cargo

oxiz-theories

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
13
Cadence
~11 days
Last 12 months
13

Reach

Downloads
11.3k
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 patch
0.1.0 initial