Cargo Features
[dependencies]
rssat = { version = "0.1.4", default-features = false, features = ["cadical", "dimacs", "parser", "glucose", "minisat"] }- default = cadical, dimacs, glucose, minisat
-
These default features are set whenever
rssatis added withoutdefault-features = false - cadical default
-
Affects
solver::cadical… - dimacs default = parser, pest, pest_derive
- parser dimacs = thiserror
-
Affects
rssat::parser,parser::CnfFormula… - glucose default
-
Affects
solver::glucose… - minisat default
-
Affects
solver::minisat…
Features from optional dependencies
In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.
- pest dimacs
- pest_derive dimacs
- thiserror parser?
-
Enables thiserror ^1.0