Lib.rs

Cargo Features

[dependencies]
rustsat = { version = "0.7.4", default-features = false, features = ["fxhash", "optimization", "multiopt", "compression", "rand", "ipasir-display", "serde", "proof-logging", "verbose-proofs", "bench"] }

default = fxhash, optimization

These default features are set whenever rustsat is added without default-features = false somewhere in the dependency tree.

fxhash default

Enables rustc-hash

Affects types::RsHashMap, types::RsHashSet, types::RsHasher…

optimization default multiopt?

Affects algs::maxsat, dimacs::parse_wcnf_with_idx, dimacs::write_wcnf_annotated, dimacs::WcnfLine, dimacs::write_wcnf, opb::parse_opt_with_idx, opb::FileLine, opb::write_opb_lines, opb::write_opt, fio::ObjNoExist…

multiopt = optimization

Affects dimacs::parse_mcnf, dimacs::write_mcnf_annotated, dimacs::McnfLine, dimacs::write_mcnf, opb::parse_multi_opt, opb::write_multi_opt…

compression

Enables bzip2 ^0.5.2, flate2, and xz2

rand

Enables rand

Affects instances::RandReindVarManager…

ipasir-display

serde

Enables serde, serde of pigeons

proof-logging verbose-proofs?

Enables pigeons

Affects card::cert, pb::cert, totdb::cert, encodings::cert…

verbose-proofs = proof-logging

_internals

Enables visibility

Affects totalizer::referenced, nodedb::NodeById.merge_thorough, dpw::referenced, gte::referenced, rustsat::NotAllowed…

bench