{"name":"first_order_logic","vers":"0.1.0","deps":[{"name":"bimap","req":"^0.6.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"enum_dispatch","req":"^0.3.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6e640f075bc4b37ad4a13616bb625459663c15a6d7d2fc34eaad4a93eb73bd0d","features":{"default":["semantics","syntax"],"semantics":[],"syntax":[]},"yanked":false,"pubtime":"2023-02-25T20:09:11Z"}