Lib.rs

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 rssat is added without default-features = false somewhere in the dependency tree.

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?