{"name":"symexrs","vers":"0.1.0","deps":[{"name":"quickcheck","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"quickcheck_macros","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e00f85b6873b653a525fa073ecc356af1470926a5cf775fbe657b5639960ab0b","features":{},"yanked":false,"pubtime":"2026-02-04T17:12:22Z"}