{"name":"cat_solver","vers":"0.1.0","deps":[{"name":"cc","req":"^1.0","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"6f3a38f1dfd86ca926aecdbec195b8b6fc035118e41384ea3b21c8f3935fb5af","features":{},"yanked":false,"links":"kissat","pubtime":"2022-11-18T15:33:51Z"}
{"name":"cat_solver","vers":"3.1.1","deps":[{"name":"cc","req":"^1.0","features":["parallel"],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"a85b3ebf0e0e07e569609d6b8818347589c88654aba12640ef84084042774064","features":{},"yanked":false,"links":"kissat","pubtime":"2023-10-13T01:57:37Z"}