Cargo Features
smtlib-lowlevel has no features set by default.
[dependencies]
smtlib-lowlevel = { version = "0.2.0", features = ["z3-static", "serde", "tokio"] }
-
z3-static
-
Enables
z3-sys
Affects
backend::z3_static…
-
serde
-
Enables
serde
-
tokio
-
Enables
tokio
Affects
cvc5_binary::tokio,
backend::tokio,
z3_binary::tokio,
smtlib-lowlevel::tokio…