Lib.rs

Cargo Features

[dependencies]
rustsat-tools = { version = "0.4.1", default-features = false, features = ["minisat", "cadical"] }

default = minisat

The minisat feature is set by default whenever rustsat-tools is added without default-features = false somewhere in the dependency tree.

minisat default

Enables rustsat-minisat

Affects rustsat-tools::Solver…

cadical

Enables rustsat-cadical

Affects rustsat-tools::Solver…