{"name":"scuttle","vers":"0.1.0","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.2.4","features":["derive","cargo"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"maxpre","req":"^0.1.0","features":["multiopt"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.1.0","features":["default-but-solvers","multiopt"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0eed20daafc4aeb8ea7480e2758e2ee4e198babd237937fd35eb61be4ae280c0","features":{"cadical":["rustsat/cadical"]},"features2":{"build-binary":["dep:clap","dep:concolor-clap","dep:termcolor","dep:atty","dep:cpu-time","dep:maxpre","dep:signal-hook","rustsat/compression"],"default":["cadical","build-binary"]},"yanked":false,"pubtime":"2023-07-12T08:32:29Z","v":2}
{"name":"scuttle","vers":"0.2.0","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.2.4","features":["derive","cargo"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"maxpre","req":"^0.2","features":["multiopt"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.2","features":["multiopt"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.1","features":["v1-7-1"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.1","features":["v1-7-1"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"scuttle-proc","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"699afbc04593b618973adaaf2ab5140117abda39c53223bc068e76474fed19e8","features":{"oracle-term":["scuttle-proc/oracle-term"],"phasing":["scuttle-proc/phasing"],"sol-tightening":["scuttle-proc/sol-tightening"]},"features2":{"build-binary":["dep:clap","dep:concolor-clap","dep:termcolor","dep:atty","dep:cpu-time","dep:maxpre","dep:signal-hook","dep:rustsat-cadical","rustsat/compression"],"default":["build-binary","phasing","sol-tightening"]},"yanked":false,"pubtime":"2023-09-05T13:21:49Z","v":2}
{"name":"scuttle","vers":"0.3.0","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.4","features":["derive","cargo"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"maxpre","req":"^0.2","features":["multiopt"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"maxpre","req":"^0.2","features":["multiopt"],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"rustsat","req":"^0.4.3","features":["multiopt","internals"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.2","features":["v1-7-2"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.2","features":["v1-7-2"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"scuttle-proc","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"87d6595657b0cd96918e7c625065c8887404648041fc94304ec72bcd4031cbc2","features":{"check-non-dominance":[],"coarse-convergence":[],"data-helpers":[],"div-con":[],"interrupt-oracle":["scuttle-proc/interrupt-oracle"],"limit-conflicts":["scuttle-proc/limit-conflicts"],"phasing":["scuttle-proc/phasing"],"sol-tightening":["scuttle-proc/sol-tightening"]},"features2":{"binary-deps":["dep:clap","dep:concolor-clap","dep:termcolor","dep:atty","dep:cpu-time","dep:maxpre","dep:signal-hook","dep:rustsat-cadical","rustsat/compression"],"default":["binary-deps","phasing","sol-tightening","interrupt-oracle","limit-conflicts"]},"yanked":false,"pubtime":"2024-02-23T08:38:15Z","v":2}
{"name":"scuttle","vers":"0.3.1","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.13","features":["derive","cargo"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"maxpre","req":"=0.2.1","features":["multiopt"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.4.3","features":["multiopt","internals"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.2.4","features":["v1-7-2"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"scuttle-proc","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e20c7ae85835b63c3fca48cf71031a3e48f717b2fed2063412516777d0986917","features":{"check-non-dominance":[],"coarse-convergence":[],"data-helpers":[],"div-con":[],"interrupt-oracle":["scuttle-proc/interrupt-oracle"],"limit-conflicts":["scuttle-proc/limit-conflicts"],"phasing":["scuttle-proc/phasing"],"sol-tightening":["scuttle-proc/sol-tightening"]},"features2":{"binary-deps":["dep:clap","dep:concolor-clap","dep:termcolor","dep:atty","dep:cpu-time","dep:maxpre","dep:signal-hook","dep:rustsat-cadical","rustsat/compression"],"default":["binary-deps","phasing","sol-tightening","interrupt-oracle","limit-conflicts"]},"yanked":false,"pubtime":"2024-08-07T10:03:45Z","v":2}
{"name":"scuttle","vers":"0.4.0","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"atty","req":"^0.2.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.36","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.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-core","req":"^0.4.0","features":["clap"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"35afdf40ee2dccd9f1887921ca4a6ba583bb2f25a7cc1d14d3684b7c37f188dd","features":{"sol-tightening":["scuttle-core/sol-tightening"]},"features2":{"maxpre":["dep:maxpre","scuttle-core/maxpre"]},"yanked":false,"pubtime":"2025-05-01T16:32:07Z","v":2}