README.md
setup.cfg
setup.py
Exh.egg-info/PKG-INFO
Exh.egg-info/SOURCES.txt
Exh.egg-info/dependency_links.txt
Exh.egg-info/not-zip-safe
Exh.egg-info/requires.txt
Exh.egg-info/top_level.txt
exh/__init__.py
exh/alternatives.py
exh/exceptions.py
exh/exh.py
exh/options.py
exh/quantifier.py
exh/table.py
exh/utils.py
exh/vars.py
exh/worlds.py
exh/formula/__init__.py
exh/formula/display.py
exh/formula/evaluate.py
exh/formula/simplify.py