z3 0.11.2

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