Cargo Features
[dependencies]
scuttle = { version = "0.3.1", default-features = false, features = ["interrupt-oracle", "phasing", "sol-tightening", "coarse-convergence", "limit-conflicts", "check-non-dominance", "binary-deps", "data-helpers", "div-con"] }- default = binary-deps, interrupt-oracle, limit-conflicts, phasing, sol-tightening
-
These default features are set whenever
scuttleis added withoutdefault-features = false - interrupt-oracle default
-
Enables interrupt-oracle of scuttle-proc
- phasing default
-
Enables phasing of scuttle-proc
- sol-tightening default
-
Enables sol-tightening of scuttle-proc
- coarse-convergence
- limit-conflicts default
-
Enables limit-conflicts of scuttle-proc
- check-non-dominance
- binary-deps default
-
Enables rustsat-cadical ^0.2.4, signal-hook, and termcolor, atty, clap, concolor-clap, cpu-time, and maxpre =0.2.1, compression of rustsat ^0.4.3
Affects
scuttle::cli…Required by the binary
- data-helpers
-
Affects
options::DivConOptions.enc_clauses_summary… - div-con
-
Affects
cli::DivConAnchor,options::DivConOptions,solver::divcon…