Lib.rs

Cargo Features

[dependencies]
rustsat = { version = "0.6.1", default-features = false, features = ["all", "internals", "fxhash", "optimization", "multiopt", "compression", "rand", "bench"] }

default = fxhash, optimization

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

all = compression, fxhash, multiopt, rand

internals

Affects dbtotalizer::Node, dbtotalizer::referenced, nodedb::NodeById.merge_thorough, dbgte::referenced, dpw::referenced, rustsat::NotAllowed…

fxhash default all?

Enables rustc-hash

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

optimization default multiopt?

Affects 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 all? = optimization

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

compression all?

Enables bzip2, flate2, and xz2

rand all?

Enables rand

Affects instances::RandReindVarManager…

ipasir-display bench