Lib.rs

Cargo Features

[dependencies]
rustsat-cadical = { version = "0.7.0", default-features = false, features = ["all", "debug", "quiet", "logging", "tracing", "pigeons", "v1-5-5", "v1-7-3", "v1-9-2", "v2-1-1", "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

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

rustsat-cadical has 12 features without comments.