AUTHORS.md
CONTRIBUTING.md
HISTORY.md
LICENSE
MANIFEST.in
Pipfile
Pipfile.lock
README.md
setup.cfg
setup.py
docs/authors.md
docs/contributing.md
docs/grammars.md
docs/index.md
docs/references.md
flloat/__init__.py
flloat/__version__.py
flloat/flloat.py
flloat/helpers.py
flloat/ldlf.py
flloat/ltlf.py
flloat/pl.py
flloat.egg-info/PKG-INFO
flloat.egg-info/SOURCES.txt
flloat.egg-info/dependency_links.txt
flloat.egg-info/not-zip-safe
flloat.egg-info/requires.txt
flloat.egg-info/top_level.txt
flloat/base/__init__.py
flloat/base/convertible.py
flloat/base/delta.py
flloat/base/formulas.py
flloat/base/nnf.py
flloat/base/symbols.py
flloat/base/truths.py
flloat/parser/__init__.py
flloat/parser/ldlf.lark
flloat/parser/ldlf.py
flloat/parser/ltlf.lark
flloat/parser/ltlf.py
flloat/parser/parser.out
flloat/parser/parsetab.py
flloat/parser/pl.lark
flloat/parser/pl.py
flloat/semantics/__init__.py
flloat/semantics/pl.py
flloat/semantics/traces.py
tests/test_ldlf.py
tests/test_ltlf.py
tests/test_misc.py
tests/test_pl.py