Lib.rs

Cargo Features

[dependencies]
scuttle = { version = "0.3.0", 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 scuttle is added without default-features = false somewhere in the dependency tree.

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, signal-hook, and termcolor, atty, clap, concolor-clap, cpu-time, and maxpre, 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…