/z3-sys

Rust unsafe bindings to Z3 solver

Primary LanguageRustMIT LicenseMIT

z3-sys

Build Status

Rust unsafe bindings to Z3 Solver.

If you are looking for safe usable bindings check: z3-rs