covalence/__init__.py,sha256=Y461ajNuOV-QJqak1XjiSQJZV7fQ0-OQvFeVENVmLX8,168
covalence/_covalence.abi3.so,sha256=-ozquTamG8y2X8r6XIKpUyBamjY8qj-_W5HAYZqMz9o,26758704
covalence/_covalence.pyi,sha256=7IO5s5U_5uV6MVdqdhx2ABYmY6vXKcPio3u34TtqJn8,36349
covalence/cas.py,sha256=dTtpG8lD3xqbjAVtBu3P8rxxrXPXGf0412PBxLUN04M,5640
covalence/data/__init__.py,sha256=m3yZz0uLCwfUKfu-WkBnR0kJPHH3LNLautvq4gmc_Yw,85
covalence/data/cbor.py,sha256=L7LfvCxZDsKsLbGpb8JgCfNbyLSeS-2X2DF_wkkgcuk,109
covalence/data/sexpr.py,sha256=BSWk5bbN1sz21XsFY_GbCZ4Y18ABuFzZ-28Bc9yreaA,543
covalence/lib/__init__.py,sha256=t16C6rvcMabps5UuI399wg4T3dLjGQV04j9DUjgT2Wo,101
covalence/lib/hash.py,sha256=GWZXtm__1pw-BGhhdXBgntogwuYL-Qzk5g8R9bVjxNM,1331
covalence/logic/__init__.py,sha256=slFo4iURUCJ3YO2t6ojyjbtaHlHvOdfjOe5yyKQqvdE,169
covalence/logic/classical.py,sha256=Uc82csWTya3AfzLzPwBIOVLuLG-veGaApUw-K4Kn6ZQ,193
covalence/logic/hol.py,sha256=UWxzWYC0JPAlQ4ouPyWJx5rhyLS55MmOE2XczSEb21A,2506
covalence/logic/lrat.py,sha256=GgJFjBzqf58WPZPSFrJe9NMFh3VESWUpXJHdAccqMQE,4073
covalence/logic/metamath.py,sha256=vUM0bGrbeCQpMe3yeTFaJD--eUorL4_mnUevynX_4q0,195
covalence/logic/sat.py,sha256=Wr5ZnIk_2aUWoPsinlqdnewYdCiSSCvUxVq6PSGnkdE,167
covalence/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
covalence-0.1.0.dev1.dist-info/METADATA,sha256=f0DwYP8stS3i6ifMzwr426nCoxkfHk_QERHMIDRf0bs,13939
covalence-0.1.0.dev1.dist-info/WHEEL,sha256=qFH1n2jHZjJW0zVNDUUpRaO6AtT-9r1b8YspvBpCv9U,108
covalence-0.1.0.dev1.dist-info/RECORD,,
