{"name":"rustsat","vers":"0.1.0","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1.0.79","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.2.4","features":["derive","cargo"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"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":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.0.25","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"git2","req":"^0.17.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"nom","req":"^7.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1.0","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"},{"name":"visibility","req":"^0.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1b73a9f4c2a4dd766bb037a501d8c7f3e930a72b2657198da5149811684b4193","features":{"cadical":[],"glucose4":[],"internals":[],"ipasir":[],"kissat":[],"minisat":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all-non-conflicting":["cadical","kissat","glucose4","minisat","optimization","multiopt","compression","rand","fxhash"],"cli":["dep:clap","dep:concolor-clap","dep:termcolor","dep:atty"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["default-but-solvers","cadical","kissat","glucose4","minisat"],"default-but-solvers":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"]},"yanked":true,"pubtime":"2023-07-11T11:50:15Z","v":2}
{"name":"rustsat","vers":"0.1.1","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1.0.79","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.2.4","features":["derive","cargo"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"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":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.0.25","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"git2","req":"^0.17.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"nom","req":"^7.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1.0","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"},{"name":"visibility","req":"^0.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1bce4afb83bce012466e6c6e8f07943598161c082f3e1ea8f67313595ad0f745","features":{"cadical":[],"glucose4":[],"internals":[],"ipasir":[],"kissat":[],"minisat":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all-non-conflicting":["cadical","kissat","glucose4","minisat","optimization","multiopt","compression","rand","fxhash"],"cli":["dep:clap","dep:concolor-clap","dep:termcolor","dep:atty"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["default-but-solvers","cadical","kissat","glucose4","minisat"],"default-but-solvers":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"]},"yanked":true,"pubtime":"2023-08-21T09:45:15Z","v":2}
{"name":"rustsat","vers":"0.1.2","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1.0.79","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.2.4","features":["derive","cargo"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"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":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.0.25","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"git2","req":"^0.17.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"nom","req":"^7.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1.0","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"},{"name":"visibility","req":"^0.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cd3dc149407f53e5294a9690484f0a2581488fb30da035c7b0e9a5e2711e5c12","features":{"cadical":[],"glucose4":[],"internals":[],"ipasir":[],"kissat":[],"minisat":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all-non-conflicting":["cadical","kissat","glucose4","minisat","optimization","multiopt","compression","rand","fxhash"],"cli":["dep:clap","dep:concolor-clap","dep:termcolor","dep:atty"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["default-but-solvers","cadical","kissat","glucose4","minisat"],"default-but-solvers":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"]},"yanked":false,"pubtime":"2023-08-22T10:32:11Z","v":2}
{"name":"rustsat","vers":"0.2.0","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1.0.79","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.2.4","features":["derive","cargo"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"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":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.0.25","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"git2","req":"^0.17.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"nom","req":"^7.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1.0","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"},{"name":"visibility","req":"^0.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6996d06b875dddab564efde0b4afcb23ee26627c73762859d024e705444f17e8","features":{"internals":[],"ipasir":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"]},"yanked":false,"pubtime":"2023-08-23T12:56:19Z","v":2}
{"name":"rustsat","vers":"0.2.1","deps":[{"name":"atty","req":"^0.2.14","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1.0.79","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.24","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.2.4","features":["derive","cargo"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"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":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.0.25","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"git2","req":"^0.17.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"nom","req":"^7.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1.0","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"},{"name":"visibility","req":"^0.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b99c8abadfc8c9342721debb5b226f26a2aec8e1618f1b3faa6028efc5e1103f","features":{"internals":[],"ipasir":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"]},"yanked":false,"pubtime":"2023-09-05T13:17:31Z","v":2}
{"name":"rustsat","vers":"0.3.0","deps":[{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cbindgen","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.0.25","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"inline-c","req":"^0.1.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nom","req":"^7.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"12bda9343182c0dbf19be77677eb6e9a08b7c7c745f45794a7f41fadc972ac95","features":{"bench":[],"internals":[],"ipasir":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"]},"yanked":false,"pubtime":"2023-10-30T14:00:15Z","v":2}
{"name":"rustsat","vers":"0.4.0","deps":[{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cbindgen","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.0.25","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"inline-c","req":"^0.1.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nom","req":"^7.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.20.0","features":["extension-module","abi3","abi3-py37"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3-build-config","req":"^0.20.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ebceab940b3932c682064e4d95932461581faa7926fdbc15c2004b2f14b9581d","features":{"bench":[],"internals":[],"ipasir":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash","pyapi"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"pyapi":["dep:pyo3","dep:pyo3-build-config"],"rand":["dep:rand"]},"yanked":false,"pubtime":"2023-12-18T10:02:57Z","v":2}
{"name":"rustsat","vers":"0.4.1","deps":[{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cbindgen","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.0.25","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"inline-c","req":"^0.1.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nom","req":"^7.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.20.0","features":["extension-module","abi3","abi3-py37"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3-build-config","req":"^0.20.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rustsat-tools","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^1.0.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cb79617c2e52d843e3d337a4a9a3e549e1056319daf0bd45ddab85a6a6788146","features":{"bench":[],"internals":[],"ipasir":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"pyapi":["dep:pyo3","dep:pyo3-build-config"],"rand":["dep:rand"]},"yanked":false,"pubtime":"2024-01-11T09:40:22Z","v":2}
{"name":"rustsat","vers":"0.4.2","deps":[{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cbindgen","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.0.25","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"inline-c","req":"^0.1.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nom","req":"^7.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.20.0","features":["extension-module","abi3","abi3-py37"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3-build-config","req":"^0.20.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rustsat-tools","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^1.0.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fb091d8df5a4d1d475a10d27937648a1f11bb9318578e64805e8eff868d33bdf","features":{"bench":[],"internals":[],"ipasir":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"pyapi":["dep:pyo3","dep:pyo3-build-config"],"rand":["dep:rand"]},"yanked":false,"pubtime":"2024-01-11T14:24:55Z","v":2}
{"name":"rustsat","vers":"0.4.3","deps":[{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"cbindgen","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.0.25","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"inline-c","req":"^0.1.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"nom","req":"^7.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.20.0","features":["extension-module","abi3","abi3-py37"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3-build-config","req":"^0.20.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-minisat","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rustsat-tools","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^1.0.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f7face2f32c7d9fd1bca46af42960eb4789d95c8dcb799833a1c75736db3d19c","features":{"bench":[],"internals":[],"ipasir":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"pyapi":["dep:pyo3","dep:pyo3-build-config"],"rand":["dep:rand"]},"yanked":false,"pubtime":"2024-02-23T08:21:42Z","v":2}
{"name":"rustsat","vers":"0.5.0","deps":[{"name":"anyhow","req":"^1.0.80","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"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":"flate2","req":"^1.0.25","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"63846230f2af916ea7f3e08b41767ac7f7b14fd0c93dbb4a7108193f6ba302c5","features":{"bench":[],"internals":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"]},"yanked":false,"rust_version":"1.66.1","pubtime":"2024-04-30T14:12:14Z","v":2}
{"name":"rustsat","vers":"0.5.1","deps":[{"name":"anyhow","req":"^1.0.80","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"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":"flate2","req":"^1.0.25","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"nom","req":"^7.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^1.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6faaa583540c4c2f93a575a62a596a1d3fa010b5b78c6140d7867fcc2421bf93","features":{"bench":[],"internals":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"]},"yanked":false,"rust_version":"1.66.1","pubtime":"2024-06-12T05:33:56Z","v":2}
{"name":"rustsat","vers":"0.6.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"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":"flate2","req":"^1.0.31","features":["zlib-ng"],"optional":true,"default_features":false,"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":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.63","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"66960bf51c1e3e43c40c36ed9d6bb20896d239f3db31776a44863e4a76212027","features":{"bench":[],"internals":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"]},"yanked":false,"rust_version":"1.66.1","pubtime":"2024-10-16T13:27:15Z","v":2}
{"name":"rustsat","vers":"0.6.1","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"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":"flate2","req":"^1.0.31","features":["zlib-ng"],"optional":true,"default_features":false,"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":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.12.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.63","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a677c8c77e334fff543a436299ee565ae46d242fb5192b1bba0f7eb744ff3f84","features":{"bench":[],"internals":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"]},"yanked":false,"rust_version":"1.66.1","pubtime":"2024-10-16T14:41:04Z","v":2}
{"name":"rustsat","vers":"0.6.2","deps":[{"name":"anyhow","req":"^1.0.94","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.4.4","features":[],"optional":true,"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":"flate2","req":"^1.0.35","features":["zlib-ng"],"optional":true,"default_features":false,"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":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8dc28ec46044a073fdc58d070136e8640466abd04b8e849276d26effeacc7e36","features":{"bench":[],"internals":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"]},"yanked":false,"rust_version":"1.66.1","pubtime":"2024-12-13T09:21:15Z","v":2}
{"name":"rustsat","vers":"0.6.3","deps":[{"name":"anyhow","req":"^1.0.94","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.5.0","features":[],"optional":true,"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":"flate2","req":"^1.0.35","features":["zlib-ng"],"optional":true,"default_features":false,"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":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"27d24b905a17859a48aa7e26c63636d65979e68841c75a419d88153537d00c7f","features":{"bench":[],"internals":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"]},"yanked":false,"rust_version":"1.66.1","pubtime":"2024-12-20T14:37:27Z","v":2}
{"name":"rustsat","vers":"0.6.4","deps":[{"name":"anyhow","req":"^1.0.95","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.5.1","features":[],"optional":true,"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":"flate2","req":"^1.0.35","features":["zlib-ng"],"optional":true,"default_features":false,"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":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.217","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.17.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a2029cd9cca3794d507448ec37646e3fa7e9415c644ca11f953734d942e0b232","features":{"bench":[],"internals":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash","serde"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"],"serde":["dep:serde"]},"yanked":false,"rust_version":"1.66.1","pubtime":"2025-02-19T08:49:28Z","v":2}
{"name":"rustsat","vers":"0.6.5","deps":[{"name":"anyhow","req":"^1.0.97","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.32","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.1.0","features":["zlib-ng"],"optional":true,"default_features":false,"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":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.19.1","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":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9410c84539b7974fd881df924883b62b31bcb41a8e77b582424acd41e0e2faf3","features":{"bench":[],"internals":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash","serde"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"],"serde":["dep:serde"]},"yanked":false,"rust_version":"1.74.0","pubtime":"2025-03-25T13:38:10Z","v":2}
{"name":"rustsat","vers":"0.6.6","deps":[{"name":"anyhow","req":"^1.0.97","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.32","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.1.0","features":["zlib-ng"],"optional":true,"default_features":false,"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":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.19.1","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":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c52f67411023383ef3e062e29b39001df6bb14b296f17cf2ea70415e8a63737f","features":{"bench":[],"internals":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash","serde"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"rand":["dep:rand"],"serde":["dep:serde"]},"yanked":false,"rust_version":"1.74.0","pubtime":"2025-03-27T13:45:50Z","v":2}
{"name":"rustsat","vers":"0.7.0","deps":[{"name":"anyhow","req":"^1.0.97","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.34","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.1.0","features":["zlib-ng"],"optional":true,"default_features":false,"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":"pigeons","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.19.1","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":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"63aeff9317744deebea2676b7c4afbb9fd5f0ae6f3e0e11ed34119e2e803960e","features":{"bench":[],"internals":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash","serde","proof-logging","verbose-proofs"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"proof-logging":["dep:pigeons"],"rand":["dep:rand"],"serde":["dep:serde","pigeons/serde"],"verbose-proofs":["proof-logging"]},"yanked":false,"rust_version":"1.75.0","pubtime":"2025-04-03T14:40:24Z","v":2}
{"name":"rustsat","vers":"0.7.1","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.37","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.1.1","features":["zlib-ng"],"optional":true,"default_features":false,"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":"pigeons","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tempfile","req":"^3.19.1","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":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e62ac137236984808547134038c808c6a75c9322a6ff54d63d8895d0ee7fa83e","features":{"bench":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash","serde","proof-logging","verbose-proofs"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"internals":["dep:visibility"],"proof-logging":["dep:pigeons"],"rand":["dep:rand"],"serde":["dep:serde","pigeons/serde"],"verbose-proofs":["proof-logging"]},"yanked":false,"rust_version":"1.76.0","pubtime":"2025-05-01T15:26:02Z","v":2}
{"name":"rustsat","vers":"0.7.2","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.38","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.1.1","features":["zlib-ng"],"optional":true,"default_features":false,"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":"pigeons","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tempfile","req":"^3.20.0","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":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8024cc8ccecbbc460112d5915d9025e1e9b05141d9510c4566ce9f7b2395cb87","features":{"bench":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash","serde","proof-logging","verbose-proofs"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"internals":["dep:visibility"],"proof-logging":["dep:pigeons"],"rand":["dep:rand"],"serde":["dep:serde","pigeons/serde"],"verbose-proofs":["proof-logging"]},"yanked":false,"rust_version":"1.76.0","pubtime":"2025-05-30T13:48:27Z","v":2}
{"name":"rustsat","vers":"0.7.3","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.42","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"flate2","req":"^1.1.2","features":["zlib-ng"],"optional":true,"default_features":false,"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":"pigeons","req":"^0.2.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.219","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.142","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tempfile","req":"^3.20.0","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":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8d66b9fbd8a3e08ad437829e0957568b2f7fffad2900f6bdc768739d2f922375","features":{"bench":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"all":["multiopt","compression","rand","fxhash","serde","proof-logging","verbose-proofs"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"internals":["dep:visibility"],"proof-logging":["dep:pigeons"],"rand":["dep:rand"],"serde":["dep:serde","pigeons/serde"],"verbose-proofs":["proof-logging"]},"yanked":false,"rust_version":"1.76.0","pubtime":"2025-08-07T13:34:39Z","v":2}
{"name":"rustsat","vers":"0.7.4","deps":[{"name":"anyhow","req":"^1.0.100","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.49","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":"cfg(any(target_family = \"unix\", target_family = \"windows\"))","kind":"normal"},{"name":"flate2","req":"^1.1.4","features":["zlib-ng"],"optional":true,"default_features":false,"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":"pigeons","req":"^0.2.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.145","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tempfile","req":"^3.23.0","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":"dev"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"web-time","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":"cfg(not(any(target_family = \"unix\", target_family = \"windows\")))","kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"80dccd0655ab04948959df05f8599866908f74166d791a872a1b6fb0fa3a57bb","features":{"bench":[],"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"_docs":["compression","fxhash","multiopt","proof-logging","rand","serde","verbose-proofs","_internals"],"_internals":["dep:visibility"],"_test":["compression","fxhash","multiopt","proof-logging","rand","serde","verbose-proofs","_internals"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"proof-logging":["dep:pigeons"],"rand":["dep:rand"],"serde":["dep:serde","pigeons/serde"],"verbose-proofs":["proof-logging"]},"yanked":false,"rust_version":"1.76.0","pubtime":"2025-10-18T12:58:38Z","v":2}
{"name":"rustsat","vers":"0.7.5","deps":[{"name":"anyhow","req":"^1.0.100","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bzip2","req":"^0.5.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5.54","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"concolor-clap","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":"cfg(any(target_family = \"unix\", target_family = \"windows\"))","kind":"normal"},{"name":"flate2","req":"^1.1.8","features":["zlib-ng"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"gungraun","req":"^0.17.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"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":"pigeons","req":"^0.2.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.149","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"tempfile","req":"^3.24.0","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":"dev"},{"name":"thiserror","req":"^2.0.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"visibility","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"web-time","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":"cfg(not(any(target_family = \"unix\", target_family = \"windows\")))","kind":"normal"},{"name":"xz2","req":"^0.1.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"20ca3e44fb555707f07747514c1575a656c5913627f44e988e728f2e40b32977","features":{"ipasir-display":[],"multiopt":["optimization"],"optimization":[]},"features2":{"_bench":["_internals"],"_docs":["compression","fxhash","multiopt","proof-logging","rand","serde","verbose-proofs","_internals"],"_internals":["dep:visibility"],"_test":["compression","fxhash","multiopt","proof-logging","rand","serde","verbose-proofs","_internals"],"compression":["dep:bzip2","dep:flate2","dep:xz2"],"default":["optimization","fxhash"],"fxhash":["dep:rustc-hash"],"proof-logging":["dep:pigeons"],"rand":["dep:rand"],"serde":["dep:serde","pigeons/serde"],"verbose-proofs":["proof-logging"]},"yanked":false,"rust_version":"1.76.0","pubtime":"2026-01-30T09:46:05Z","v":2}