{"name":"sat-interface","vers":"0.1.0","deps":[{"name":"cadical-sys","req":"^0.7.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ae70a51d3fedcd3137edec6f213629f3d05031d8524056fae04c8fcc417791ad","features":{"default":[]},"features2":{"cadical":["dep:cadical-sys"]},"yanked":false,"pubtime":"2026-02-11T18:48:23Z","v":2}
{"name":"sat-interface","vers":"0.1.1","deps":[{"name":"cadical-sys","req":"^0.7.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"92a5690440aa8db53cc036b02be5abd520f458991ef0ad39004099adebc83985","features":{"default":[]},"features2":{"cadical":["dep:cadical-sys"]},"yanked":false,"pubtime":"2026-02-24T03:22:39Z","v":2}