z3 0.3.2

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