dltl/__init__.py,sha256=ULIYWGb706QpK3krNSn5fLCY7LmG4CxlyKEPz7bEf2I,1700
dltl/__main__.py,sha256=7dF-MLJ_BQsgfM1TTBQQlzMMoR9LjPGFy7lhC3jDIGY,1047
dltl/cli.py,sha256=vQN7r_dibI7U6b-18BKqLcEXkNb4oLYiUF1jNRGNvwA,6706
dltl/evaluator.py,sha256=iUoOvxwf8yB9aU2gFA12lU8GEOmkn0k5ZmEe-1mLK2Q,16957
dltl/formula.py,sha256=cyShvdEPLpRDIXCgfd2u7W50xozr9phr7HICvTLVMYA,4569
dltl/log.py,sha256=dhCzvpyVh6NZ23_ICbPtefMEOSYHunRnUOohwMQYp7I,11202
dltl/macros.py,sha256=cHuRXbFyXkSiCwtjNB-JLOhCxYvFGi2BnA91h3ykdJM,2843
dltl/parser.py,sha256=gJnw_7qeWW0bec-8DKgc4cuiNtDVGLq4nD2IO3UpFro,7144
dltl/propositions.py,sha256=-aKIOtaajguKPW5M5wdJDF-mqx_v3d8qixd03BX99uI,3869
dltl/session.py,sha256=BdyngC-qneLKUV3bcUqidNcuoXFsuGZNTo322fGz6wg,11148
semanticdltl-1.1.0.dist-info/METADATA,sha256=8jGEi-Veiq2x0o9W7auOVxPg15NgA45IxEsivvtDijg,24755
semanticdltl-1.1.0.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
semanticdltl-1.1.0.dist-info/entry_points.txt,sha256=61gc1_0dYFc0u5lsSsTzQ1BmMATUdINudYYbM-ofePU,42
semanticdltl-1.1.0.dist-info/licenses/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
semanticdltl-1.1.0.dist-info/RECORD,,
