{"name":"rustsat-tools","vers":"0.1.0","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.2.4","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":"rustsat","req":"^0.2.0","features":["compression","multiopt","rand"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c50411f149ba3d087a14cdfa61c4479780668bfa9e1737ae9de6a568241b232c","features":{},"yanked":false,"pubtime":"2023-08-23T13:21:21Z"}
{"name":"rustsat-tools","vers":"0.2.0","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.2.4","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":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.3.0","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ffdd47863832691c46773ee33fcde0a76ec37f04b308964187980a9f176d598e","features":{},"yanked":false,"pubtime":"2023-10-30T14:05:05Z"}
{"name":"rustsat-tools","vers":"0.2.1","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.2.4","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":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.4.0","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a44ac487c34a02c377c3b6b770bf959449062eeb25e2f47950be7147f6d34533","features":{},"yanked":false,"pubtime":"2023-12-18T10:05:39Z"}
{"name":"rustsat-tools","vers":"0.2.2","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.2.4","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":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.4.1","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.2.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.2.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f5a26eb77b72001b91901fc83fdad8a523aafa7867a955aa0bded69fdb9cdbf8","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"pubtime":"2024-01-11T09:43:02Z","v":2}
{"name":"rustsat-tools","vers":"0.2.3","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.2.4","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":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.4.2","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.2.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.2.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2a2f49aa3aed4f004c36d61e3f959dd31ed9d3d5ccb7b3ce2b2556681d2d1f68","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"pubtime":"2024-01-11T14:27:41Z","v":2}
{"name":"rustsat-tools","vers":"0.2.4","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.2.4","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":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.4.3","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.2.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.2.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d20a8e05c32aabb182ded5a9f1fb57db86f434c3101f3d7624fa6670bc84fcd0","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"pubtime":"2024-02-23T08:24:23Z","v":2}
{"name":"rustsat-tools","vers":"0.3.0","deps":[{"name":"anyhow","req":"^1.0.80","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.2.4","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":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.5.0","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.3.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.3.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6196b182e90cf00e022c5584f32bef344ff91a7c5b6a8565a8a2b051f268addd","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"pubtime":"2024-04-30T15:07:15Z","v":2}
{"name":"rustsat-tools","vers":"0.3.1","deps":[{"name":"anyhow","req":"^1.0.80","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.2.4","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":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.5.1","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.3.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.3.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8dfea8e1d46b57358735d9bbc690ddf4e43cb6cfd383ef6ae4d8f01bf4c2db79","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"pubtime":"2024-06-12T05:36:17Z","v":2}
{"name":"rustsat-tools","vers":"0.4.0","deps":[{"name":"anyhow","req":"^1.0.86","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.16","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":"itertools","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.0","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.4.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.4.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e69d7d8833a03b01d31645cbe49995e4dc26b391c837ce911c8508a67ed45955","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"pubtime":"2024-10-16T13:29:37Z","v":2}
{"name":"rustsat-tools","vers":"0.4.1","deps":[{"name":"anyhow","req":"^1.0.86","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.16","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":"itertools","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.1","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.4.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.4.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4a1792d43a8ff25d8b382ab4d93facc2afb842cfecf405ebc6f913e83a74bd49","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"pubtime":"2024-10-16T14:43:25Z","v":2}
{"name":"rustsat-tools","vers":"0.4.2","deps":[{"name":"anyhow","req":"^1.0.94","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.23","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":"itertools","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.2","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.4.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.4.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bab60af64df2f0148df4b7ae14b8ca76b5fa3daebc8aa2253ec97408e1886c3e","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"pubtime":"2024-12-13T09:23:43Z","v":2}
{"name":"rustsat-tools","vers":"0.4.3","deps":[{"name":"anyhow","req":"^1.0.94","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.23","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":"itertools","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.3","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cf9d89c822c06e618b18d9bff635924c434124440d2d23480076931e983b071f","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"pubtime":"2024-12-20T14:39:37Z","v":2}
{"name":"rustsat-tools","vers":"0.4.4","deps":[{"name":"anyhow","req":"^1.0.95","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.30","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":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.4","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6014c3b3db24ecf46bf446daeb9be7fd91f2593e841ac13238f29a2d4a41e029","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"rust_version":"1.70.0","pubtime":"2025-02-19T08:52:06Z","v":2}
{"name":"rustsat-tools","vers":"0.6.5","deps":[{"name":"anyhow","req":"^1.0.97","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.32","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":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.5","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.4.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.4.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b3389f587c1fbd05f566696aafead8226c34670fe0b27cc7370e4fb76de96489","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"rust_version":"1.70.0","pubtime":"2025-03-25T13:40:16Z","v":2}
{"name":"rustsat-tools","vers":"0.6.6","deps":[{"name":"anyhow","req":"^1.0.97","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.32","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":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.6","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.4.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.4.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0f77826562964cdfa3cfb7a5c16e209fcc6ada8ba57b035a8c9220ffa75923a4","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"rust_version":"1.70.0","pubtime":"2025-03-27T13:48:17Z","v":2}
{"name":"rustsat-tools","vers":"0.7.0","deps":[{"name":"anyhow","req":"^1.0.97","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.34","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":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.0","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.7.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.7.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b30662e8521cffd0a73e8ceae036c64c27a9ada8c1de8f3b4c5375f068d07806","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"pubtime":"2025-04-03T14:42:36Z","v":2}
{"name":"rustsat-tools","vers":"0.7.1","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.37","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":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.1","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.7.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.7.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"97ca06a2609df6bb97c4aa7fff8c99e4211989bc979554bdeb4478076e12bf76","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2025-05-01T15:28:13Z","v":2}
{"name":"rustsat-tools","vers":"0.7.2","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.38","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":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.2","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.7.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.7.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bd68dcf06c7cf4ca7a848bc7b9ffe9b501eacb08612086c05e898857ca0eb0e5","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2025-05-30T13:51:08Z","v":2}
{"name":"rustsat-tools","vers":"0.7.3","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.42","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":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.3","features":["compression","multiopt","rand","internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.7.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.7.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aa866f604378c7ca062f38805d7cc256f22b7d36053f91c3a47c8b7b97eef3a8","features":{},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2025-08-07T13:37:06Z","v":2}
{"name":"rustsat-tools","vers":"0.7.4","deps":[{"name":"anyhow","req":"^1.0.100","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.49","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":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.4","features":["compression","multiopt","rand","_internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.7.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.7.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"38c1636399daeb35714e6ecf3a543f05a4330b61c7f30e9496e8bbc13e6e5176","features":{"_test":[]},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2025-10-18T13:02:19Z","v":2}
{"name":"rustsat-tools","vers":"0.7.5","deps":[{"name":"anyhow","req":"^1.0.100","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.54","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":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand_chacha","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.5","features":["compression","multiopt","rand","_internals"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.7.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.7.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"termcolor","req":"^1.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f73bd0c9dff1a00db29a25cb7107f0aaf0462f84026d1f1989a188d288608097","features":{"_test":[]},"features2":{"cadical":["dep:rustsat-cadical"],"default":["minisat"],"minisat":["dep:rustsat-minisat"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2026-01-30T09:50:30Z","v":2}