Cargo Features
SMT-LIB has no features set by default.
[dependencies]
smtlib = { version = "0.2.0", features = ["serde", "z3-static", "const-bit-vec", "tokio"] }- serde
-
Enables serde, serde of smtlib-lowlevel
- z3-static
-
Enables z3-static of smtlib-lowlevel
- const-bit-vec
- tokio
-
Enables tokio of smtlib-lowlevel
SMT-LIB has 4 features without comments.