Cargo Features
rustsat-cadical has no features set by default.
[dependencies]
rustsat-cadical = { version = "0.3.0", features = ["v1-5-2", "v1-7-0", "v1-8-0", "v1-9-5"] }- debug quiet logging 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
rustsat-cadical has 4 features without comments.