{"name":"rustsat-cadical","vers":"0.1.0","deps":[{"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":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"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":"rustsat","req":">=0.2.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"dccaabf348cfa220da02eb58b36567bb1bf9cfc3cffc21b2974d8766ce306391","features":{"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[]},"yanked":false,"pubtime":"2023-08-23T13:18:46Z"}
{"name":"rustsat-cadical","vers":"0.1.1","deps":[{"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":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"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":"rustsat","req":"^0.2","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"577c09b885df5968af5c94c317c31c7586981e77e8000de1629269d144d5b323","features":{"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[]},"yanked":false,"pubtime":"2023-09-05T13:06:10Z"}
{"name":"rustsat-cadical","vers":"0.2.0","deps":[{"name":"cc","req":"^1.0.83","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.31","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":"git2","req":"^0.18.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":"rustsat","req":"^0.3.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"888734f023d53c117eb38d2407d568d14eb9f69ae823db506d5140825ed4c284","features":{"debug":[],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[]},"yanked":false,"pubtime":"2023-10-30T14:02:25Z"}
{"name":"rustsat-cadical","vers":"0.2.1","deps":[{"name":"cc","req":"^1.0.83","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.31","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":"git2","req":"^0.18.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":"rustsat","req":"^0.4.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"fb52ddfdb227b6fbed7b21f24aaa85a61e0653729b6a9541cb17cfc5ce9a140e","features":{"debug":[],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[]},"yanked":false,"pubtime":"2023-12-18T10:04:12Z"}
{"name":"rustsat-cadical","vers":"0.2.2","deps":[{"name":"cc","req":"^1.0.83","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.31","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":"git2","req":"^0.18.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":"rustsat","req":"^0.4.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"2560bf6397be9cb74765747cd8a6402425bdec8c427d69ced0803a4ebd5cd1d1","features":{"debug":[],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[]},"yanked":false,"pubtime":"2024-01-11T09:42:12Z"}
{"name":"rustsat-cadical","vers":"0.2.3","deps":[{"name":"cc","req":"^1.0.83","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.31","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":"git2","req":"^0.18.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":"rustsat","req":"^0.4.2","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"e96de76c5555fb3a762e3575c5b1557c3ffc42a2079e508cc90bd4baf29310bf","features":{"debug":[],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[]},"yanked":false,"pubtime":"2024-01-11T14:26:47Z"}
{"name":"rustsat-cadical","vers":"0.2.4","deps":[{"name":"cc","req":"^1.0.83","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.31","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":"git2","req":"^0.18.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":"rustsat","req":"^0.4.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"387bc817ee852141db9d25dfb016bab3980f3fb46896cc6ded128a9f3d3d2a18","features":{"debug":[],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[]},"yanked":false,"pubtime":"2024-02-23T08:23:33Z"}
{"name":"rustsat-cadical","vers":"0.3.0","deps":[{"name":"anyhow","req":"^1.0.80","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1.0.83","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.31","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.4","features":["derive"],"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":"git2","req":"^0.18.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":"rustsat","req":"^0.5.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^1.0.57","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1113d8ef2d288f80c10ed5b99c29783aa4476488b555b5d3d8b4aa0ce70bf8a0","features":{"debug":[],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[],"v1-9-5":[]},"yanked":false,"pubtime":"2024-04-30T15:05:56Z"}
{"name":"rustsat-cadical","vers":"0.3.1","deps":[{"name":"anyhow","req":"^1.0.80","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cc","req":"^1.0.83","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.31","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.4","features":["derive"],"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":"git2","req":"^0.18.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":"rustsat","req":"^0.5.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^1.0.57","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"79bca12482ece64dfb4c3c964d8eca12b644bbae3fdeaf354959d2df45a5e71e","features":{"debug":[],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[],"v1-9-5":[]},"yanked":false,"pubtime":"2024-06-12T05:35:32Z"}
{"name":"rustsat-cadical","vers":"0.4.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.70.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cc","req":"^1.1.30","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.16","features":["derive","cargo"],"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":"git2","req":"^0.19.0","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":"rustsat","req":"^0.6.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^1.0.63","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f2a1d099007b48ac9c9a7b67ce5440256a7544df2dbe670df47e1c2c0e4de61b","features":{"debug":[],"default":["quiet"],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[],"v1-9-5":[],"v2-0-0":[],"v2-1-0":[]},"yanked":false,"pubtime":"2024-10-16T13:28:32Z"}
{"name":"rustsat-cadical","vers":"0.4.1","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.70.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cc","req":"^1.1.30","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.38","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.16","features":["derive","cargo"],"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":"git2","req":"^0.19.0","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":"rustsat","req":"^0.6.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^1.0.63","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0b9355a46ce0edb33ee6b185fc8b46e28f5010bb758bf84360685793bf9b7932","features":{"debug":[],"default":["quiet"],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[],"v1-9-5":[],"v2-0-0":[],"v2-1-0":[]},"yanked":false,"pubtime":"2024-10-16T14:42:23Z"}
{"name":"rustsat-cadical","vers":"0.4.2","deps":[{"name":"anyhow","req":"^1.0.94","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.71.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cc","req":"^1.2.3","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.39","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.23","features":["derive","cargo"],"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":"git2","req":"^0.19.0","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":"rustsat","req":"^0.6.2","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^2.0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5d1d483c5a58ed12330cc0457e70b026df04567a5e58cd9bac54321cad7f1427","features":{"debug":[],"default":["quiet"],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[],"v1-9-5":[],"v2-0-0":[],"v2-1-0":[]},"yanked":false,"pubtime":"2024-12-13T09:22:36Z"}
{"name":"rustsat-cadical","vers":"0.4.3","deps":[{"name":"anyhow","req":"^1.0.94","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.71.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cc","req":"^1.2.5","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.39","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.23","features":["derive","cargo"],"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":"git2","req":"^0.19.0","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":"rustsat","req":"^0.6.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^2.0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0680e400ff03b7fde1684f6fb9ddf741524402da5cd6c869700e9078381d4c64","features":{"debug":[],"default":["quiet"],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[],"v1-9-5":[],"v2-0-0":[],"v2-1-0":[],"v2-1-1":[]},"yanked":false,"pubtime":"2024-12-20T14:38:38Z"}
{"name":"rustsat-cadical","vers":"0.4.4","deps":[{"name":"anyhow","req":"^1.0.95","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.71.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cc","req":"^1.2.14","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.39","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.30","features":["derive","cargo"],"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":"git2","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"rustsat","req":"^0.6.4","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^2.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9bcfbb06f9821976c8b51e894841423d00ae4b8a300ebbabd1062d46154898f6","features":{"debug":[],"default":["quiet"],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[],"v1-9-5":[],"v2-0-0":[],"v2-1-0":[],"v2-1-1":[],"v2-1-2":[],"v2-1-3":[]},"yanked":false,"pubtime":"2025-02-19T08:50:52Z"}
{"name":"rustsat-cadical","vers":"0.4.5","deps":[{"name":"anyhow","req":"^1.0.97","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.71.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cc","req":"^1.2.17","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.32","features":["derive","cargo"],"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":"git2","req":"^0.20.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"rustsat","req":"^0.6.5","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"df1048bf0e4e9cf204ec8133ab7301c68c907ae30e9f878a6fcc1ec8cb322ffb","features":{"debug":[],"default":["quiet"],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[],"v1-9-5":[],"v2-0-0":[],"v2-1-0":[],"v2-1-1":[],"v2-1-2":[],"v2-1-3":[]},"yanked":false,"pubtime":"2025-03-25T13:39:18Z"}
{"name":"rustsat-cadical","vers":"0.4.6","deps":[{"name":"anyhow","req":"^1.0.97","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.71.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cc","req":"^1.2.17","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.32","features":["derive","cargo"],"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":"git2","req":"^0.20.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"rustsat","req":"^0.6.6","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0b11161fae3b080952772c247c5702da28fbf5e910923b744ce2c1852ceb8f88","features":{"debug":[],"default":["quiet"],"logging":[],"quiet":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[],"v1-9-5":[],"v2-0-0":[],"v2-1-0":[],"v2-1-1":[],"v2-1-2":[],"v2-1-3":[]},"yanked":false,"pubtime":"2025-03-27T13:47:19Z"}
{"name":"rustsat-cadical","vers":"0.7.0","deps":[{"name":"anyhow","req":"^1.0.97","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.71.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cc","req":"^1.2.17","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.34","features":["derive","cargo"],"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":"git2","req":"^0.20.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"pigeons","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"be2dcb35dc33b7f7cce899163456e111b81d0bec03a22bc0c067a678f6aabc5e","features":{"all":["tracing"],"debug":[],"default":["quiet"],"logging":[],"quiet":[],"tracing":[],"v1-5-0":[],"v1-5-1":[],"v1-5-2":[],"v1-5-3":[],"v1-5-4":[],"v1-5-5":[],"v1-5-6":[],"v1-6-0":[],"v1-7-0":[],"v1-7-1":[],"v1-7-2":[],"v1-7-3":[],"v1-7-4":[],"v1-7-5":[],"v1-8-0":[],"v1-9-0":[],"v1-9-1":[],"v1-9-2":[],"v1-9-3":[],"v1-9-4":[],"v1-9-5":[],"v2-0-0":[],"v2-1-0":[],"v2-1-1":[],"v2-1-2":[],"v2-1-3":[]},"features2":{"pigeons":["dep:pigeons","rustsat/proof-logging"]},"yanked":false,"rust_version":"1.75.0","pubtime":"2025-04-03T14:41:31Z","v":2}
{"name":"rustsat-cadical","vers":"0.7.1","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.71.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cc","req":"^1.2.20","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.37","features":["derive","cargo"],"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":"git2","req":"^0.20.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"pigeons","req":"^0.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"356aa5648001b247a47bc5e17cbaf8021d2d16bb31436068bce60ba4d4514a4b","features":{"all":["tracing"],"debug":[],"default":["quiet"],"logging":[],"quiet":[],"tracing":[],"v2-1-3":[]},"features2":{"git":["dep:git2"],"pigeons":["dep:pigeons","rustsat/proof-logging"],"v1-5-0":["git"],"v1-5-1":["git"],"v1-5-2":["git"],"v1-5-3":["git"],"v1-5-4":["git"],"v1-5-5":["git"],"v1-5-6":["git"],"v1-6-0":["git"],"v1-7-0":["git"],"v1-7-1":["git"],"v1-7-2":["git"],"v1-7-3":["git"],"v1-7-4":["git"],"v1-7-5":["git"],"v1-8-0":["git"],"v1-9-0":["git"],"v1-9-1":["git"],"v1-9-2":["git"],"v1-9-3":["git"],"v1-9-4":["git"],"v1-9-5":["git"],"v2-0-0":["git"],"v2-1-0":["git"],"v2-1-1":["git"],"v2-1-2":["git"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2025-05-01T15:27:03Z","v":2}
{"name":"rustsat-cadical","vers":"0.7.2","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.71.1","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cc","req":"^1.2.24","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.38","features":["derive","cargo"],"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":"git2","req":"^0.20.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"pigeons","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.2","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b8b57abb5c9f9ffd8bd9b469fef157b98a3cc36d2a1a323a4912f496fc07f417","features":{"all":["tracing"],"debug":[],"default":["quiet"],"logging":[],"quiet":[],"tracing":[],"v2-1-3":[]},"features2":{"git":["dep:git2"],"pigeons":["dep:pigeons","rustsat/proof-logging"],"v1-5-0":["git"],"v1-5-1":["git"],"v1-5-2":["git"],"v1-5-3":["git"],"v1-5-4":["git"],"v1-5-5":["git"],"v1-5-6":["git"],"v1-6-0":["git"],"v1-7-0":["git"],"v1-7-1":["git"],"v1-7-2":["git"],"v1-7-3":["git"],"v1-7-4":["git"],"v1-7-5":["git"],"v1-8-0":["git"],"v1-9-0":["git"],"v1-9-1":["git"],"v1-9-2":["git"],"v1-9-3":["git"],"v1-9-4":["git"],"v1-9-5":["git"],"v2-0-0":["git"],"v2-1-0":["git"],"v2-1-1":["git"],"v2-1-2":["git"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2025-05-30T13:49:50Z","v":2}
{"name":"rustsat-cadical","vers":"0.7.3","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.72.0","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cc","req":"^1.2.31","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.42","features":["derive","cargo"],"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":"git2","req":"^0.20.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"pigeons","req":"^0.2.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4179739f9f8358f45bbde22c28089cf99deb0ec648ff5e92d047959b37da761d","features":{"all":["tracing"],"debug":[],"default":["quiet"],"logging":[],"quiet":[],"tracing":[],"v2-1-3":[]},"features2":{"git":["dep:git2"],"pigeons":["dep:pigeons","rustsat/proof-logging"],"v1-5-0":["git"],"v1-5-1":["git"],"v1-5-2":["git"],"v1-5-3":["git"],"v1-5-4":["git"],"v1-5-5":["git"],"v1-5-6":["git"],"v1-6-0":["git"],"v1-7-0":["git"],"v1-7-1":["git"],"v1-7-2":["git"],"v1-7-3":["git"],"v1-7-4":["git"],"v1-7-5":["git"],"v1-8-0":["git"],"v1-9-0":["git"],"v1-9-1":["git"],"v1-9-2":["git"],"v1-9-3":["git"],"v1-9-4":["git"],"v1-9-5":["git"],"v2-0-0":["git"],"v2-1-0":["git"],"v2-1-1":["git"],"v2-1-2":["git"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2025-08-07T13:35:39Z","v":2}
{"name":"rustsat-cadical","vers":"0.7.4","deps":[{"name":"anyhow","req":"^1.0.100","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.72.1","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cc","req":"^1.2.41","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.42","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.49","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"git2","req":"^0.20.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"pigeons","req":"^0.2.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.4","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.3.18","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"}],"cksum":"c97f6235fdaed980d63bfbf7852b9fae0ca2eaff993f0cb6bf087df93f743f63","features":{"_test":["tracing","debug"],"debug":[],"default":["quiet"],"logging":[],"quiet":[],"tracing":[],"v2-1-3":[]},"features2":{"git":["dep:git2"],"pigeons":["dep:pigeons","rustsat/proof-logging"],"v1-5-0":["git"],"v1-5-1":["git"],"v1-5-2":["git"],"v1-5-3":["git"],"v1-5-4":["git"],"v1-5-5":["git"],"v1-5-6":["git"],"v1-6-0":["git"],"v1-7-0":["git"],"v1-7-1":["git"],"v1-7-2":["git"],"v1-7-3":["git"],"v1-7-4":["git"],"v1-7-5":["git"],"v1-8-0":["git"],"v1-9-0":["git"],"v1-9-1":["git"],"v1-9-2":["git"],"v1-9-3":["git"],"v1-9-4":["git"],"v1-9-5":["git"],"v2-0-0":["git"],"v2-1-0":["git"],"v2-1-1":["git"],"v2-1-2":["git"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2025-10-18T13:01:05Z","v":2}
{"name":"rustsat-cadical","vers":"0.7.5","deps":[{"name":"anyhow","req":"^1.0.100","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bindgen","req":"^0.72.1","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cc","req":"^1.2.54","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"chrono","req":"^0.4.43","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"clap","req":"^4.5.54","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"git2","req":"^0.20.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"glob","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"pigeons","req":"^0.2.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.5","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"signal-hook","req":"^0.4.3","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"}],"cksum":"36c1940036a11c1ff492fdbdad940ba100220f50a0ecabea1f2de08c18aa3a90","features":{"_test":["tracing","debug"],"debug":[],"default":["quiet"],"logging":[],"quiet":[],"tracing":[],"v2-2-1":[]},"features2":{"_docs":["pigeons","tracing"],"git":["dep:git2"],"pigeons":["dep:pigeons","rustsat/proof-logging"],"v1-5-0":["git"],"v1-5-1":["git"],"v1-5-2":["git"],"v1-5-3":["git"],"v1-5-4":["git"],"v1-5-5":["git"],"v1-5-6":["git"],"v1-6-0":["git"],"v1-7-0":["git"],"v1-7-1":["git"],"v1-7-2":["git"],"v1-7-3":["git"],"v1-7-4":["git"],"v1-7-5":["git"],"v1-8-0":["git"],"v1-9-0":["git"],"v1-9-1":["git"],"v1-9-2":["git"],"v1-9-3":["git"],"v1-9-4":["git"],"v1-9-5":["git"],"v2-0-0":["git"],"v2-1-0":["git"],"v2-1-1":["git"],"v2-1-2":["git"],"v2-1-3":["git"],"v2-2-0":["git"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2026-01-30T09:49:22Z","v":2}