3 releases
Uses old Rust 2015
| 0.1.2 | Jun 12, 2018 |
|---|---|
| 0.1.1 | Jan 6, 2018 |
| 0.1.0 | Jun 8, 2017 |
#23 in #satisfiability
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