LICENSE
README.md
pyproject.toml
src/satisfaction_suffices/__init__.py
src/satisfaction_suffices.egg-info/PKG-INFO
src/satisfaction_suffices.egg-info/SOURCES.txt
src/satisfaction_suffices.egg-info/dependency_links.txt
src/satisfaction_suffices.egg-info/top_level.txt
src/satisfaction_suffices/logic/__init__.py
src/satisfaction_suffices/logic/constraint.py
src/satisfaction_suffices/logic/ppl.py
src/satisfaction_suffices/logic/proof_evo.py
src/satisfaction_suffices/verifier/__init__.py
src/satisfaction_suffices/verifier/code_to_3sat.py
src/satisfaction_suffices/verifier/partial.py
src/satisfaction_suffices/verifier/sat.py
src/satisfaction_suffices/verifier/text_to_3sat.py
src/satisfaction_suffices/verifier/verify.py
tests/test_partial.py
tests/test_sat_solver.py
tests/test_verdicts_comprehensive.py
tests/test_verify.py