Lib.rs

Cargo Features

[dependencies]
rustsat-cadical = { version = "0.7.1", default-features = false, features = ["all", "debug", "quiet", "logging", "tracing", "pigeons", "git", "v1-5-4", "v1-7-1", "v1-8-0", "v1-9-4", "v2-1-2", "v2-1-3"] }

default = quiet

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

all = tracing

debug

quiet default

logging

tracing all?

pigeons

Enables pigeons, proof-logging of rustsat

git build 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? v2-1-1? v2-1-2?

Enables git2

v1-5-0 v1-5-1 v1-5-2 v1-5-3 v1-5-4 = git

v1-5-5 v1-5-6 v1-6-0 v1-7-0 v1-7-1 = git

v1-7-2 v1-7-3 v1-7-4 v1-7-5 v1-8-0 = git

v1-9-0 v1-9-1 v1-9-2 v1-9-3 v1-9-4 = git

v1-9-5 v2-0-0 v2-1-0 v2-1-1 v2-1-2 = git

v2-1-3

rustsat-cadical has 14 features without comments.