z3 0.12.1

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