{"name":"rustsat-minisat","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":"cmake","req":"^0.1.50","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":"1dbb9c9171f34fbe1e8d9bce2d20a4798baad75af0274b86259eb354b1a4dda7","features":{},"yanked":false,"pubtime":"2023-08-23T13:15:37Z"}
{"name":"rustsat-minisat","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":"cmake","req":"^0.1.50","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":"66f6639d18481ad3794c6a20ef1f554e3e0b60259dc4a93d87ea0ade2e957feb","features":{},"yanked":false,"pubtime":"2023-09-05T13:15:42Z"}
{"name":"rustsat-minisat","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":"cmake","req":"^0.1.50","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":"75cd0a88771ac9130736ccf79846653d63bbb8a3e3ba4ccb53594b71dd1d68a0","features":{},"yanked":false,"pubtime":"2023-10-30T14:08:50Z"}
{"name":"rustsat-minisat","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":"cmake","req":"^0.1.50","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":"1aa849823a9fe8db6739da44520e09459d59986cd35b933563f11ce8c291225d","features":{},"yanked":false,"pubtime":"2023-12-18T10:07:45Z"}
{"name":"rustsat-minisat","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":"cmake","req":"^0.1.50","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":"c37a08a2d8ac9aa8fd8a76d1d73a2443fcf7bf1ab223080f70422379caeb2ea4","features":{"debug":[]},"yanked":false,"pubtime":"2024-01-11T09:41:08Z"}
{"name":"rustsat-minisat","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":"cmake","req":"^0.1.50","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":"ff65af036bc3e3ee2e5ca024e1dd7ee8abba47746a4cc0a90f201718530d1dd7","features":{"debug":[]},"yanked":false,"pubtime":"2024-01-11T14:25:37Z"}
{"name":"rustsat-minisat","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":"cmake","req":"^0.1.50","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":"24353b01f6e7580e8fae0cb473ddf6e1f7843ccab6d2ca3400ff6c8eeea2b5ce","features":{"debug":[]},"yanked":false,"pubtime":"2024-02-23T08:22:24Z"}
{"name":"rustsat-minisat","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":"cmake","req":"^0.1.50","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.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":"8307c3677b389a8d54b55949667aeae257501b6485b164694a15d3d6bf9efb35","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"pubtime":"2024-04-30T15:03:58Z"}
{"name":"rustsat-minisat","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":"cmake","req":"^0.1.50","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.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":"3c9ef32f69d4fef8a7a75bc958d9a671e5608a5ccb0bafc9e01e8d779b3d6813","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"pubtime":"2024-06-12T05:34:30Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.16","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.51","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":"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":"19251fcfd0e8ca80f099c1efc7d9c2a46f9bd1d8fb01ebefc874ec0aa8f5b307","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"pubtime":"2024-10-16T13:28:55Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.16","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.51","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":"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":"8bd8d2c93bc7dd25707ebdab8e551cb76d2b66854cc8458f67df99abffea79f3","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"pubtime":"2024-10-16T14:42:46Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.23","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.52","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":"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":"323ac52a3ad95c4f2a861b5d81e7e568683cd12de9e080a72b33a4be1bc4adc6","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"pubtime":"2024-12-13T09:23:02Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.23","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.52","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":"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":"dcf1d9e560959253361b148eb0fb6696ea9b5f563c52f4666180f69f90adc540","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"pubtime":"2024-12-20T14:39:00Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.30","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.54","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":"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":"e57c33e1622bd419de637d05f36d64df0d9fc30ab93e98528352476ae2afe742","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"pubtime":"2025-02-19T08:51:21Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.32","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.54","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":"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":"80e5b82dbe82fdff5fcbdbdcbb05ce54eb7c5f06d41c20b6c10817a95a2f7548","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"pubtime":"2025-03-25T13:39:41Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.32","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.54","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":"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":"890f73909ed9d2b066bf32a292292cbcddf7740f0c25b417647911d15b269598","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"pubtime":"2025-03-27T13:47:42Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.34","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.54","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":"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":"334dd931ca964b27dfe8a703257500b8748e2f102c7177dd15a0b06a7b2e893e","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"rust_version":"1.75.0","pubtime":"2025-04-03T14:41:57Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.37","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.54","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":"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":"efc686a40b6664ffd944ef8b7cfab9203f449d7bd3e02157c642750965164ae9","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"rust_version":"1.76.0","pubtime":"2025-05-01T15:27:34Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.38","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.54","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":"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":"f14bd3f29f1fbed0093d6d262b3123b965dff4126bda5706d3062e3b7e50a751","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"rust_version":"1.76.0","pubtime":"2025-05-30T13:50:24Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.42","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.54","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":"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":"870cbbddc72852775b7df8209f1622d1fbd6169541be98ad10e38f0db5b86349","features":{"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"rust_version":"1.76.0","pubtime":"2025-08-07T13:36:19Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.49","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.54","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"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":"be4135137df4b5c65ce88cbee7f22a33abebdcb0cd86dcbdc8c63676ee03bb80","features":{"_test":["debug"],"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"rust_version":"1.76.0","pubtime":"2025-10-18T12:59:43Z"}
{"name":"rustsat-minisat","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":"clap","req":"^4.5.54","features":["derive","cargo"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"cmake","req":"^0.1.57","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"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":"b9f9786f5a328e7328a299bf4a406e3ab2d039f8e1e3e7f5ee3823cf4944b014","features":{"_test":["debug"],"debug":[],"default":["quiet"],"quiet":[]},"yanked":false,"rust_version":"1.76.0","pubtime":"2026-01-30T09:47:38Z"}