z3 0.11.1

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