.flake8
.gitignore
.pre-commit-config.yaml
.pre-commit-hooks.yaml
.python-version
CONTRIBUTING.md
LICENSE
README.md
code_of_conduct.md
pyproject.toml
requirements-test.txt
setup.cfg
.github/workflows/build.yaml
.github/workflows/lint.yaml
examples/colorable.py
examples/criminal.py
pylogic/__init__.py
pylogic/common_defs.py
pylogic/fol.py
pylogic/propositional.py
python_logic.egg-info/PKG-INFO
python_logic.egg-info/SOURCES.txt
python_logic.egg-info/dependency_links.txt
python_logic.egg-info/top_level.txt
tests/__init__.py
tests/test_fol.py
tests/test_propositional.py