Cargo Features
Z3 has no features set by default.
[dependencies]
z3 = { version = "0.12.1", features = ["arbitrary-size-numeral", "static-link-z3"] }
- arbitrary-size-numeral = num
- static-link-z3
-
Enable this feature to statically link our own build of Z3, rather than dynamically linking to the system's
libz3.so
.Enables static-link-z3 of z3-sys
Features from optional dependencies
In crates that don't use the dep:
syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.
- num arbitrary-size-numeral?
-
Enables num
optional dependencies