{"name":"satif-cadical","vers":"0.1.0","deps":[{"name":"aig","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"11f09dbcbddeac0e2cc2ff1770f224a47c912bb5b2f32c546bfb835f813cbe7b","features":{},"yanked":false,"pubtime":"2024-12-07T04:27:13Z"}
{"name":"satif-cadical","vers":"0.1.1","deps":[{"name":"aig","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5152fb81f459a303b553b7d40aa4c1acaf81879b3b64a146eb800ea9257f452d","features":{},"yanked":false,"pubtime":"2024-12-07T05:01:08Z"}
{"name":"satif-cadical","vers":"0.1.2","deps":[{"name":"aig","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"860f924604ce909bf3c013a61900bcaf565ce753f4a5cfb793e31c60981ce3ad","features":{},"yanked":false,"pubtime":"2024-12-16T10:49:46Z"}
{"name":"satif-cadical","vers":"0.1.3","deps":[{"name":"aig","req":"~0.2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d137b0f0b88012139a90ecfe48d955dbb93f3c42e47acca8e7caeffff89d8910","features":{},"yanked":false,"pubtime":"2024-12-22T02:48:39Z"}
{"name":"satif-cadical","vers":"0.1.4","deps":[{"name":"aig","req":"~0.2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8db9d250e164e789308b2d9b899326004a11806b880c17aad49ae09dd17bbf6f","features":{},"yanked":false,"pubtime":"2025-01-21T00:31:27Z"}
{"name":"satif-cadical","vers":"0.1.5","deps":[{"name":"aig","req":"^0.2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"296e3f8f11cb2d48b3fc7b0d6bdc6c5bb2fc9f83659588213ec32ea9086edf25","features":{},"yanked":false,"pubtime":"2025-02-03T10:42:19Z"}
{"name":"satif-cadical","vers":"0.1.6","deps":[{"name":"aig","req":"^0.2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3da04e3a49f219b46c2740a7ad9cdb33cc7e7c3e2817bdd7d4c1979f9364b0b7","features":{},"yanked":false,"pubtime":"2025-02-06T02:12:23Z"}
{"name":"satif-cadical","vers":"0.1.7","deps":[{"name":"aig","req":"^0.2.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2c54669d8482a6d02e931575d295095495f42a5247093427588e97d83f5b6431","features":{},"yanked":false,"pubtime":"2025-02-09T11:56:33Z"}
{"name":"satif-cadical","vers":"0.1.8","deps":[{"name":"aig","req":"^0.2.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.2.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"38dd446e11a2783c2edf5f2a286400078ec9c7b068782c425bd833ce016f1549","features":{},"yanked":false,"pubtime":"2025-02-19T02:04:53Z"}
{"name":"satif-cadical","vers":"0.1.9","deps":[{"name":"aig","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7363a0b570fda411557cbb81cb1103f2007644aca4671a8a548ff573f984c92e","features":{},"yanked":false,"pubtime":"2025-02-26T02:01:01Z"}
{"name":"satif-cadical","vers":"0.1.10","deps":[{"name":"aig","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3a5f77a1a1fd86a0243a900293167819399495f5093554121024db2e6a74b1b4","features":{},"yanked":false,"pubtime":"2025-04-01T05:51:56Z"}
{"name":"satif-cadical","vers":"0.1.11","deps":[{"name":"aig","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"59a1ce36c0faf3499d850f85d16f8280adcda56d1c40d96c09bc0e0cbee780a3","features":{},"yanked":false,"pubtime":"2025-05-23T14:40:20Z"}
{"name":"satif-cadical","vers":"0.1.12","deps":[{"name":"aig","req":"^0.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logic-form","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"satif","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cc7e75e7cdb174b7b1cf4a17da1b69f8489d7c800e2288d9f12f811cac2504db","features":{},"yanked":false,"pubtime":"2025-06-04T13:40:47Z"}
{"name":"satif-cadical","vers":"0.2.0","deps":[{"name":"aig","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logicrs","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2d00eae6d4134ea53d0acfc1df51db570b070fab0f631127ff091fe0c8caa44b","features":{},"yanked":false,"pubtime":"2025-06-18T01:19:10Z"}
{"name":"satif-cadical","vers":"0.2.1","deps":[{"name":"aig","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logicrs","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1f8f48ae371c99ea59d45852340fbd7482a7cf702c011775e34a6ec004c6e0d0","features":{},"yanked":false,"pubtime":"2025-07-04T12:07:47Z"}
{"name":"satif-cadical","vers":"0.2.2","deps":[{"name":"aig","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cmake","req":"^0.1.50","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"giputils","req":"^0.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"logicrs","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d822511e3ca5d36a1d8d5d6840c7b82b15bc9e300b4e51cd3af321f51affc87d","features":{},"yanked":false,"pubtime":"2025-09-05T01:48:25Z"}