{"name":"pindakaas","vers":"0.0.1","deps":[],"cksum":"f0fbb341ad250ced5209675d85f8685720db3a455e409e78f225e72edd56f51d","features":{},"yanked":true,"pubtime":"2022-09-12T01:42:30Z"}
{"name":"pindakaas","vers":"0.1.0","deps":[{"name":"expect-test","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"iset","req":"=0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libloading","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-cadical","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-derive","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-intel-sat","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-kissat","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"609ddc11e8f30ef80e919c286e1c4c9faf76092f5fd61771002b5fb9b3929cf1","features":{"cadical":["pindakaas-cadical","pindakaas-derive"],"default":["cadical"],"external-propagation":["cadical"],"intel-sat":["pindakaas-intel-sat","pindakaas-derive"],"kissat":["pindakaas-kissat","pindakaas-derive"]},"yanked":false,"pubtime":"2025-07-09T01:36:11Z"}
{"name":"pindakaas","vers":"0.2.0","deps":[{"name":"expect-test","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libloading","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-cadical","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-intel-sat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-kissat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rangelist","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"e454ca8ddad8fde495c4702a5ff4a0e70e8554b334ce5d1ae7789c505bc3f154","features":{"cadical":["pindakaas-cadical"],"default":["cadical"],"external-propagation":["cadical"],"intel-sat":["pindakaas-intel-sat"],"kissat":["pindakaas-kissat"]},"yanked":false,"pubtime":"2025-09-25T07:57:05Z"}
{"name":"pindakaas","vers":"0.2.1","deps":[{"name":"expect-test","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libloading","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-cadical","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-intel-sat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-kissat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rangelist","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"202c2d9b16350c4a8f3d13b73e1dc1fe3e542b03bbb8b1539ca7e67f488916fb","features":{"cadical":["pindakaas-cadical"],"default":["cadical"],"external-propagation":["cadical"],"intel-sat":["pindakaas-intel-sat"],"kissat":["pindakaas-kissat"]},"yanked":false,"pubtime":"2025-09-29T01:45:25Z"}
{"name":"pindakaas","vers":"0.2.2","deps":[{"name":"expect-test","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libloading","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-cadical","req":"^0.2.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-intel-sat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-kissat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rangelist","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"797cf3a7d2102fc5b36267dcf24200a4d5415628c41eb586527944eab4efe8a9","features":{"cadical":["pindakaas-cadical"],"default":["cadical"],"external-propagation":["cadical"],"intel-sat":["pindakaas-intel-sat"],"kissat":["pindakaas-kissat"]},"yanked":false,"pubtime":"2025-09-30T10:27:29Z"}
{"name":"pindakaas","vers":"0.2.3","deps":[{"name":"expect-test","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libloading","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-cadical","req":"^0.2.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-intel-sat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-kissat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rangelist","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"a97e70d3616dfd92944fc9a6a073c2d71d7acb053d15c2810bdaf09722c4e66e","features":{"cadical":["pindakaas-cadical"],"default":["cadical"],"external-propagation":["cadical"],"intel-sat":["pindakaas-intel-sat"],"kissat":["pindakaas-kissat"]},"yanked":false,"pubtime":"2025-11-04T23:27:06Z"}
{"name":"pindakaas","vers":"0.3.0","deps":[{"name":"expect-test","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libloading","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-cadical","req":"^0.3.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-intel-sat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-kissat","req":"^0.2.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rangelist","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"c336f94d559f408f4cc9cd9ad0d920891356e9d807ea9183cafa9182574a01c4","features":{"cadical":["pindakaas-cadical"],"default":["cadical"],"external-propagation":["cadical"],"intel-sat":["pindakaas-intel-sat"],"kissat":["pindakaas-kissat"]},"yanked":false,"pubtime":"2025-11-26T05:14:57Z"}
{"name":"pindakaas","vers":"0.4.0","deps":[{"name":"expect-test","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libloading","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-cadical","req":"^0.3.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-intel-sat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-kissat","req":"^0.2.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rangelist","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"cc2ed63f42ba814d7e4435b700f2c5169d0b25e14a786bae4b0fe73d25efc480","features":{"cadical":["pindakaas-cadical"],"default":["cadical"],"external-propagation":["cadical"],"intel-sat":["pindakaas-intel-sat"],"kissat":["pindakaas-kissat"]},"yanked":false,"pubtime":"2026-02-11T01:41:27Z"}
{"name":"pindakaas","vers":"0.4.1","deps":[{"name":"expect-test","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libloading","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-cadical","req":"^0.3.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-intel-sat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-kissat","req":"^0.2.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rangelist","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"6ca5ffdc76d527a159c4994f87f73fda5e0d550d77d806e419661a9dd0722143","features":{"cadical":["pindakaas-cadical"],"default":["cadical"],"external-propagation":["cadical"],"intel-sat":["pindakaas-intel-sat"],"kissat":["pindakaas-kissat"]},"yanked":false,"pubtime":"2026-02-21T04:54:45Z"}
{"name":"pindakaas","vers":"0.5.0","deps":[{"name":"expect-test","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libloading","req":"^0.8","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-cadical","req":"^0.3.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-intel-sat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-kissat","req":"^0.2.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rangelist","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"08d7888cc686a361a31d988468f3299adac079d0d5c8f276f50729b5d7e59d70","features":{"cadical":["pindakaas-cadical"],"default":["cadical"],"external-propagation":["cadical"],"intel-sat":["pindakaas-intel-sat"],"kissat":["pindakaas-kissat"]},"yanked":false,"pubtime":"2026-04-17T07:06:28Z"}
{"name":"pindakaas","vers":"0.5.1","deps":[{"name":"expect-test","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"itertools","req":"^0.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libloading","req":"^0.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-cadical","req":"^0.4.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-intel-sat","req":"^0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pindakaas-kissat","req":"^0.2.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rangelist","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustc-hash","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"splr","req":"^0.17","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"aa5074613d21f6c8fc3b0f4efb404980d7cd36ff9823814b577c76d5f2c6aa46","features":{"cadical":["pindakaas-cadical"],"default":["cadical"],"external-propagation":["cadical"],"intel-sat":["pindakaas-intel-sat"],"kissat":["pindakaas-kissat"]},"yanked":false,"pubtime":"2026-06-09T11:00:09Z"}