Cargo Features
smtlib-lowlevel has no features set by default.
[dependencies]
smtlib-lowlevel = { version = "0.1.8", features = ["z3", "z3-static", "cvc5", "serde", "async"] }
- z3
- z3-static
-
Enables z3-sys
- cvc5
- serde
-
Enables serde
- async
-
Enables async-trait
Affects
backend::AsyncBackend
,smtlib-lowlevel::AsyncDriver
…