LICENSE
README.md
pyproject.toml
setup.py
tests/test_ndd.py
tests/test_poly.py
tests/test_proof_e2e.py
tests/test_utils.py
toploc/__init__.py
toploc/poly.py
toploc/utils.py
toploc.egg-info/PKG-INFO
toploc.egg-info/SOURCES.txt
toploc.egg-info/dependency_links.txt
toploc.egg-info/requires.txt
toploc.egg-info/top_level.txt
toploc/C/csrc/__init__.py
toploc/C/csrc/ndd.cpp
toploc/C/csrc/ndd.pyi
toploc/C/csrc/poly.cpp
toploc/C/csrc/poly.pyi
toploc/C/csrc/utils.cpp
toploc/C/csrc/utils.pyi