Update Cargo.toml
Build statically by default for nightlies.
@@ -21,8 +21,8 @@ float-cmp = "0.8.0"
lazy_static = "1.4.0"
itertools = "0.9.0"
# fixed = "1.9.0"
-z3 = "0.10.0"
-#z3 = {version = "0.10.0", features = ["static-link-z3"]}
+#z3 = "0.10.0"
+z3 = {version = "0.10.0", features = ["static-link-z3"]}
rustc-hash = "1"
symbolic_expressions = "5"
rayon = "1"
