AUTHORS.rst
CONTRIBUTING.rst
HISTORY.rst
LICENSE
MANIFEST.in
README.rst
setup.cfg
setup.py
docs/Makefile
docs/authors.rst
docs/conf.py
docs/contributing.rst
docs/history.rst
docs/index.rst
docs/installation.rst
docs/make.bat
docs/readme.rst
docs/usage.rst
pythogic/__init__.py
pythogic/pythogic.py
pythogic.egg-info/PKG-INFO
pythogic.egg-info/SOURCES.txt
pythogic.egg-info/dependency_links.txt
pythogic.egg-info/not-zip-safe
pythogic.egg-info/top_level.txt
pythogic/base/Alphabet.py
pythogic/base/FormalSystem.py
pythogic/base/Formula.py
pythogic/base/Symbol.py
pythogic/base/__init__.py
pythogic/base/utils.py
pythogic/fol/FOL.py
pythogic/fol/__init__.py
pythogic/fol/semantics/Assignment.py
pythogic/fol/semantics/Function.py
pythogic/fol/semantics/Interpretation.py
pythogic/fol/semantics/Object.py
pythogic/fol/semantics/Relation.py
pythogic/fol/semantics/__init__.py
pythogic/fol/syntax/FOLAlphabet.py
pythogic/fol/syntax/Term.py
pythogic/fol/syntax/__init__.py
pythogic/ldlf/LDLf.py
pythogic/ldlf/__init__.py
pythogic/ltlf/LTLf.py
pythogic/ltlf/__init__.py
pythogic/ltlf/semantics/FiniteTrace.py
pythogic/ltlf/semantics/__init__.py
pythogic/pl/PL.py
pythogic/pl/__init__.py
pythogic/pl/semantics/PLInterpretation.py
pythogic/pl/semantics/__init__.py
pythogic/ref/REf.py
pythogic/ref/__init__.py
pythogic/ref/syntax/REfFormula.py
pythogic/ref/syntax/__init__.py
tests/__init__.py
tests/test_fol.py
tests/test_ldlf.py
tests/test_ltlf.py
tests/test_pl.py
tests/test_pythogic.py
tests/test_ref.py