{"name":"smtif-bitwuzla","vers":"0.1.0","deps":[{"name":"giputils","req":"^0.3.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"giputils","req":"^0.3.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicrs","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"41bea6091b28736c82f3ce1b8766c91206d92f8868985c4d4bdc177a0fde679d","features":{},"yanked":false,"pubtime":"2025-12-07T06:31:05Z"}