{"name":"cslint-smt","vers":"0.1.0","deps":[{"name":"comp-cat-rs","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cslint-core","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e1c219a18a2eeb4555b51a6914bdb6d7dbfaafa29684b3804f65b5b0b2f8c24c","features":{},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-12T16:00:09Z"}