{"name":"scuttle-core","vers":"0.4.0","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cadical-veripb-tracer","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.36","features":["derive","cargo"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"maxpre","req":"^0.2.3","features":["multiopt"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pigeons","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.1","features":["multiopt","internals","proof-logging"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.7.1","features":["v2-1-3","pigeons"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"scuttle-proc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.19.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fe04cc7f29c2f1612a331377beba85cde7405fa1c47de3197b33a99d3d97f6f7","features":{"check-non-dominance":[],"coarse-convergence":[],"default":["phasing","interrupt-oracle","limit-conflicts"],"interrupt-oracle":["scuttle-proc/interrupt-oracle"],"limit-conflicts":["scuttle-proc/limit-conflicts"],"phasing":["scuttle-proc/phasing"],"sol-tightening":["scuttle-proc/sol-tightening"],"verbose-proofs":["cadical-veripb-tracer/verbose","rustsat/verbose-proofs"]},"features2":{"clap":["dep:clap"],"maxpre":["dep:maxpre"]},"yanked":false,"pubtime":"2025-05-01T16:31:10Z","v":2}