LICENSE
README.md
pyproject.toml
src/dratify/__init__.py
src/dratify/_nativeinfo.py
src/dratify/cnf.py
src/dratify/lits.py
src/dratify/proof.py
src/dratify.egg-info/PKG-INFO
src/dratify.egg-info/SOURCES.txt
src/dratify.egg-info/dependency_links.txt
src/dratify.egg-info/top_level.txt
tests/test_checker.py