Lib.rs

Cargo Features

[dependencies]
rustsat-cadical = { version = "0.4.1", default-features = false, features = ["debug", "quiet", "v1-5-4", "v1-7-2", "v1-9-1", "v2-1-0"] }

default = quiet

The quiet feature is set by default whenever rustsat-cadical is added without default-features = false somewhere in the dependency tree.

debug

quiet default

logging v1-5-0 v1-5-1 v1-5-2 v1-5-3 v1-5-4

v1-5-5 v1-5-6 v1-6-0 v1-7-0 v1-7-1 v1-7-2

v1-7-3 v1-7-4 v1-7-5 v1-8-0 v1-9-0 v1-9-1

v1-9-2 v1-9-3 v1-9-4 v1-9-5 v2-0-0 v2-1-0

rustsat-cadical has 7 features without comments.