LICENSE.txt
MANIFEST.in
README.md
requirements.txt
setup.py
doc/README.md
doc/basic.md
doc/differences.md
logic.egg-info/PKG-INFO
logic.egg-info/SOURCES.txt
logic.egg-info/dependency_links.txt
logic.egg-info/not-zip-safe
logic.egg-info/requires.txt
logic.egg-info/top_level.txt
logpy/__init__.py
logpy/arith.py
logpy/assoccomm.py
logpy/core.py
logpy/dispatch.py
logpy/facts.py
logpy/goals.py
logpy/term.py
logpy/util.py
logpy/tests/__init__.py
logpy/tests/test_arith.py
logpy/tests/test_assoccomm.py
logpy/tests/test_core.py
logpy/tests/test_facts.py
logpy/tests/test_goals.py
logpy/tests/test_sudoku.py
logpy/tests/test_term.py
logpy/tests/test_util.py