{"name":"smtkit","vers":"0.1.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtkit-core","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtkit-smtlib","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtkit-z3","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6fe7b15577b1885f9f00cbbbd35738c097782964104644cc0ae81a8e18e5ba8a","features":{"default":[],"z3-bin":["smtkit-smtlib/z3-bin"]},"features2":{"z3-auto":["z3-inproc-gh-release"],"z3-inproc":["dep:smtkit-z3"],"z3-inproc-bundled":["z3-inproc","smtkit-z3/bundled"],"z3-inproc-gh-release":["z3-inproc","smtkit-z3/gh-release"]},"yanked":false,"pubtime":"2026-01-27T17:09:45Z","v":2}
{"name":"smtkit","vers":"0.1.1","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtkit-core","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtkit-smtlib","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtkit-z3","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"886fd9b0c8fa4b09e88053b59e6c6d6ce66def80ef5b974c1d53b7117359903f","features":{"default":[],"z3-bin":["smtkit-smtlib/z3-bin"]},"features2":{"z3-auto":["z3-inproc-gh-release"],"z3-inproc":["dep:smtkit-z3"],"z3-inproc-bundled":["z3-inproc","smtkit-z3/bundled"],"z3-inproc-gh-release":["z3-inproc","smtkit-z3/gh-release"]},"yanked":false,"pubtime":"2026-03-08T18:27:48Z","v":2}
{"name":"smtkit","vers":"0.1.2","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pare","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smtkit-core","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtkit-smtlib","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smtkit-z3","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"structops","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4411708257132fa3aa5162ed6133e2c42ef3eedf39ab1acd92345d4daacfec36","features":{"default":[],"z3-bin":["smtkit-smtlib/z3-bin"]},"features2":{"z3-auto":["z3-inproc-gh-release"],"z3-inproc":["dep:smtkit-z3"],"z3-inproc-bundled":["z3-inproc","smtkit-z3/bundled"],"z3-inproc-gh-release":["z3-inproc","smtkit-z3/gh-release"]},"yanked":false,"pubtime":"2026-06-11T19:47:42Z","v":2}