{"name":"inverse-conway","vers":"0.1.0","deps":[{"name":"z3","req":"^0.12.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d643bbcd4a6d65f98c2ecb16e3fdd0964a1e130eebc4ac85f16c29bae098c9ba","features":{},"yanked":false,"pubtime":"2024-10-01T11:18:12Z"}