3 releases
Uses old Rust 2015
0.1.2 | Jun 12, 2018 |
---|---|
0.1.1 | Jan 6, 2018 |
0.1.0 | Jun 8, 2017 |
#20 in #satisfiability
64 downloads per month
Used in seer
25KB
758 lines
High-level rust bindings to the Z3 SMT solver
See https://github.com/Z3Prover/z3 for details on Z3.
Dependencies
~20MB
~428K SLoC