{"name":"smtkit-smtlib","vers":"0.1.0","deps":[{"name":"rsmt2","req":"^0.16.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"shell-words","req":"^1.1.0","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":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bf102990a8928c575a29be9e85e0755e46c3357e317b9adb4f386383cc37075a","features":{"default":[],"z3-bin":[]},"features2":{"rsmt2-session":["dep:rsmt2"]},"yanked":false,"pubtime":"2026-01-27T17:09:10Z","v":2}