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
…