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