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/requires.txt
Exh.egg-info/top_level.txt
Exh.egg-info/zip-safe
exh/__init__.py
exh/alternatives.py
exh/exhaust.py
exh/options.py
exh/fol/__init__.py
exh/fol/quantifier.py
exh/model/__init__.py
exh/model/exceptions.py
exh/model/model.py
exh/model/options.py
exh/model/vars.py
exh/prop/__init__.py
exh/prop/display.py
exh/prop/evaluate.py
exh/prop/formula.py
exh/prop/predicate.py
exh/prop/simplify.py
exh/utils/__init__.py
exh/utils/table.py