LICENSE
MANIFEST.in
README.md
pyproject.toml
settings.ini
setup.py
formalyzer/__init__.py
formalyzer/_modidx.py
formalyzer/core.py
formalyzer.egg-info/PKG-INFO
formalyzer.egg-info/SOURCES.txt
formalyzer.egg-info/dependency_links.txt
formalyzer.egg-info/entry_points.txt
formalyzer.egg-info/not-zip-safe
formalyzer.egg-info/requires.txt
formalyzer.egg-info/top_level.txt