{"name":"smtkit-z3","vers":"0.1.0","deps":[{"name":"smtkit-core","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"f2ca063903968dcc8cb7d70d7904de460a283655caae85d2e22c8d2019376b4e","features":{"bundled":["z3/bundled"],"default":[],"gh-release":["z3/gh-release"]},"yanked":false,"pubtime":"2026-01-27T17:09:41Z"}