11 releases (6 breaking)
|0.7.1||Aug 24, 2021|
|0.7.0||Jul 21, 2021|
|0.6.3||Oct 29, 2020|
|0.6.2||Jun 29, 2020|
|0.1.0||Dec 28, 2015|
#1142 in Math
6,390 downloads per month
Used in 23 crates (8 directly)
Low-level rust bindings to the Z3 SMT solver
Licensed under the MIT license.
See https://github.com/Z3Prover/z3 for details on Z3.
The API is fully documented with examples: https://docs.rs/z3-sys/
This crate works with Cargo and is on
Add it to your
Cargo.toml like so:
[dependencies] z3-sys = "0.7.1"
Support and Maintenance
I am developing this library largely on my own so far. I am able to offer support and maintenance, but would very much appreciate donations via Patreon. I can also provide commercial support, so feel free to contact me.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, shall be dual licensed as above, without any additional terms or conditions.