z3 0.12.1

High-level rust bindings for the Z3 SMT solver from Microsoft Research
Documentation 
{
  "git": {
    "sha1": "18a5efd2a64b741b3e4644c62ceddecad034b256"
  },
  "path_in_vcs": "z3"
}