z3 0.9.0

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