Lib.rs

› MiniSat › Features

Latest version
Features
Cargo.toml
Reverse dependencies

Cargo Features

MiniSat has no features set by default.

[dependencies]
minisat = { version = "0.4.4", features = ["glucose"] }

glucose: Affects build::main…

The data is based on the crate's Cargo.toml, including TOML comments. Affected code identifiers are only an approximation and a sample.

Back to MiniSat.