13 releases
Uses old Rust 2015
| 0.5.2 | Aug 26, 2021 |
|---|---|
| 0.5.1 | Apr 27, 2021 |
| 0.4.12 | Apr 17, 2020 |
| 0.4.11 | Feb 24, 2020 |
| 0.0.1 | Mar 19, 2018 |
#4 in #z3
51 downloads per month
Used in 2 crates
31KB
864 lines
falcon-z3
Rust bindings for z3.
These bindings are currently building against z3 4.7.1.
Dependencies
~35MB
~744K SLoC