#ffi #smt #satisfiability #solver

seer-z3

High-level rust bindings for the Z3 SMT solver from Microsoft Research

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

Download history 16/week @ 2023-10-29 12/week @ 2023-11-05 13/week @ 2023-11-12 12/week @ 2023-11-19 25/week @ 2023-11-26 14/week @ 2023-12-03 13/week @ 2023-12-10 9/week @ 2023-12-17 14/week @ 2023-12-24 4/week @ 2023-12-31 10/week @ 2024-01-07 11/week @ 2024-01-14 11/week @ 2024-01-21 11/week @ 2024-01-28 14/week @ 2024-02-04 26/week @ 2024-02-11

64 downloads per month
Used in seer

MIT license

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