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/py.typed
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
tests/test_differential.py
tests/test_dimacs.py
tests/test_proof_io.py
tests/test_rat.py
tests/test_untrusted_input.py