epiclogic/__init__.py,sha256=wtYhzZwQwOMM5eo7Qx-z7rJbcS8h_85Ncs27XyY7igg,1214
epiclogic/kernel/deque.py,sha256=Pv3xeTdCMxieB6ZbMvabCXNoh4Dg89bJ5NG09uQnmH8,5148
epiclogic/kernel/operators.py,sha256=hXtNC4ZDpYqJt6fA6l8Qnx3Z742v66dlGPihD0mIS6g,35076
epiclogic/kernel/opertree.py,sha256=Mnv-i8QXMBc6wtyO7XBzB3I3xEZHUUiw3FYDwiqDHQI,21807
epiclogic/kernel/proofTree.py,sha256=_JgoTrhqy7-BA0WL-CZBqUcD_dZnWzYHXibTgrfoxzc,11389
epiclogic/other/metatree.py,sha256=3tej2S2yc4ltdJhWeW6pZLH1N4neRr2JBCByogI4t78,4968
epiclogic/strategy/ssp.py,sha256=2PEr4QxdeoVo0KxY9476kmp4e1HqSLmREAw5EnzW1Rs,7753
epiclogic/utils/consts.py,sha256=KoTNR7SLquvudLyfUW87tobH4JgSqb12U3hXMj5G5Q0,86
epiclogic/utils/derivedFormula.py,sha256=9VtsKIwLIG9ifAapfHuTQPwKQNBfAyYWQfAfiQ6TTI0,2993
epiclogic/utils/inferenceRule.py,sha256=ziRM2MxyJO2fdvq9aH67sUTNOOCk3SDSNEFRuTvafJI,4481
epiclogic/utils/provenTheorem.py,sha256=jXVivNVXwOPKyQQyaS3Zb-IuzgvqEle0KOlJ4T4nnBo,8782
epicprover-0.1.0.dist-info/licenses/LICENSE,sha256=qv4MB-r-505EwLWz2Pytu4tCicSDNcCQsQ0Ami2k3Vw,1074
epicprover-0.1.0.dist-info/METADATA,sha256=lPy2Ym2qxtg7jANE6HV7xH-QR31DPtKViS5tT1je5io,11047
epicprover-0.1.0.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
epicprover-0.1.0.dist-info/top_level.txt,sha256=ZPzqZAnf19cxv3hK04o6U7n-eZvsIo-FJ_eMhtpM3-U,10
epicprover-0.1.0.dist-info/RECORD,,
