z3 0.3.2

High-level rust bindings for the Z3 SMT solver from Microsoft Research
Documentation 
{
  "git": {
    "sha1": "cbffbf97a0d40bd8bd5eb3b9dc4dc5537c6864a0"
  }
}