Lib.rs

Cargo Features

[dependencies]
cadical-veripb-tracer = { version = "0.1.0", default-features = false, features = ["rup-hints", "verbose"] }

default = rup-hints

The rup-hints feature is set by default whenever cadical-veripb-tracer is added without default-features = false somewhere in the dependency tree.

rup-hints default

verbose

Enables itertools

cadical-veripb-tracer has 3 features without comments.