z3 0.3.0

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