Cargo Features
otter_sat has no features set by default.
[dependencies]
otter_sat = { version = "0.1.0", features = ["boolean", "xz"] }- boolean
-
Use 'boolean' literals --- (Atom, Polarity) pairs, as opposed to integers.
Affects
atom::ATOM_MAX,clause::CClause,literal::CLiteral… - xz
-
Enable loading xz compressed cnf file through the cli.
Enables xz2