Lib.rs

Cargo Features

[dependencies]
scuttle-core = { version = "0.4.0", default-features = false, features = ["interrupt-oracle", "phasing", "sol-tightening", "coarse-convergence", "limit-conflicts", "check-non-dominance", "verbose-proofs", "clap", "maxpre"] }

default = interrupt-oracle, limit-conflicts, phasing

These default features are set whenever scuttle-core 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

Enables sol-tightening of scuttle-proc

Affects scuttle-core::WriteSolverLog.log_heuristic_obj_improvement…

coarse-convergence

limit-conflicts default

Enables limit-conflicts of scuttle-proc

check-non-dominance

verbose-proofs

Enables verbose of cadical-veripb-tracer, verbose-proofs of rustsat

clap

Enables clap

maxpre

Enables maxpre

Affects prepro::max_pre…