z3 0.4.0

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