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 whenevercadical-veripb-tracer
is added without
somewhere in the dependency tree.default-features = false - rup-hints default
- verbose
-
Enables itertools
cadical-veripb-tracer has 3 features without comments.