README.md
setup.cfg
setup.py
prologpy/__init__.py
prologpy/evaluate.py
prologpy/generate_interpretations.py
prologpy/get_variables.py
prologpy/is_satisfiable.py
prologpy/main.py
prologpy/model.py
prologpy/modus_ponens.py
prologpy/print_formula.py
prologpy/print_truth_table.py
prologpy/substitute.py
prologpy/to_pnf.py
prologpy/unify.py
prologpy/universal_instantiation.py
stankinlogicpy.egg-info/PKG-INFO
stankinlogicpy.egg-info/SOURCES.txt
stankinlogicpy.egg-info/dependency_links.txt
stankinlogicpy.egg-info/requires.txt
stankinlogicpy.egg-info/top_level.txt