{"name":"cadical-veripb-tracer","vers":"0.1.0","deps":[{"name":"cfg-if","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"pigeons","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.1","features":["multiopt","internals","proof-logging"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat-cadical","req":"^0.7.1","features":["v2-1-3","pigeons"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"13651b1753c4a8b3b85107debf6e980b963c7bd0e915bc8c36055ad4a9fae5c9","features":{"default":["rup-hints"],"rup-hints":[]},"features2":{"verbose":["dep:itertools"]},"yanked":false,"pubtime":"2025-05-01T16:28:21Z","v":2}