release z3 v0.11.0

Author: sameer

z3/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "z3"
-version = "0.10.0"
+version = "0.11.0"
 authors = ["Graydon Hoare <graydon@pobox.com>", "Bruce Mitchener <bruce.mitchener@gmail.com>", "Nick Fitzgerald <fitzgen@gmail.com>"]
 
 description = "High-level rust bindings for the Z3 SMT solver from Microsoft Research"

z3/README.md

@@ -21,7 +21,7 @@ Add it to your `Cargo.toml` like so:
 
 ```toml
 [dependencies]
-z3 = "0.10.0"
+z3 = "0.11.0"
 ```
 
 **Note:** This library has a dependency on Z3. You will either need to
@@ -30,7 +30,7 @@ to our build of Z3 like so:
 
 ```toml
 [dependencies]
-z3 = {version="0.10.0", features = ["static-link-z3"]}
+z3 = {version="0.11.0", features = ["static-link-z3"]}
 ```
 
 ## Support and Maintenance