Lib.rs

Cargo Features

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

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 tracing

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? v2-1-3? v2-2-0?

Enables git2

v1-5-0 = git

keep-sorted start

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

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

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

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

v2-0-0 v2-1-0 v2-1-1 v2-1-2 v2-1-3 = git

v2-2-0 = git

v2-2-1

Features from optional dependencies

keep-sorted end