yapsap/__init__.py,sha256=7Xgku8KObv9jIDVGmZ74X9PDy0IG3gBZ2otfu07sJM4,766
yapsap/factoring.py,sha256=oh1dlCHqXavdxrv_3DPOkfGJTQOm3Yj4RJs3BHU39uc,4603
yapsap/paramodulation.py,sha256=WbsPa15VnWreeJTFP6ptNpDEvZBp8Y2nkA7MVqA2B6o,8649
yapsap/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
yapsap/reflexivity_resolution.py,sha256=gNxamOCOn9lBYmRTgvZ0_YzvuvPzbGUl7THvQTlkir0,4314
yapsap/resolution.py,sha256=ZZ8A9Bk_9_FmnTLiTXrXhYSKuWYK6yXTZ8wYbqP3fbA,5426
yapsap/resources/TPTP-mock/Problems/TST/TST001-1.p,sha256=YL7bGQNf9kOlvNTtpJ-iNKS96eeV5zuOOEsB0HaAs-Y,239
yapsap/substitution.py,sha256=n956GLWPDKntOIM7XxY1iuk-9yUC9pHtFFp2_33qPp0,3510
yapsap/unification.py,sha256=8mkwnGj9gKBfCW-nSc5P61yLmtuBeOB-8uxcwege_3Q,4858
yapsap/utils.py,sha256=OgrIt-yCnfJ8K-uVCC7I8_f5XgenEh_PvTLtI2DN-Qc,11138
yapsap/yapsa_prover.py,sha256=a5jrkfihjitZdsr0-l0SQFK0nF_XbgEni-D9mZFWdOY,5805
yapsap-0.0.2.dist-info/LICENSE,sha256=qsc7MUj20dcRHbyjIJn2jSbGRMaBOuHk8F9leaomY_4,11360
yapsap-0.0.2.dist-info/METADATA,sha256=KtSptZ-UadCnIl3Qg1B-A2fabLaE_EzvH0lSkpzwir0,4281
yapsap-0.0.2.dist-info/WHEEL,sha256=d2fvjOD7sXsVzChCqf0Ty0JbHKBaLYwDbGQDwQTnJ50,88
yapsap-0.0.2.dist-info/RECORD,,
