LICENSE
README.md
pyproject.toml
src/clintest/__init__.py
src/clintest/__main__.py
src/clintest/assertion.py
src/clintest/outcome.py
src/clintest/protocol.py
src/clintest/py.typed
src/clintest/quantifier.py
src/clintest/solver.py
src/clintest/test.py
src/clintest.egg-info/PKG-INFO
src/clintest.egg-info/SOURCES.txt
src/clintest.egg-info/dependency_links.txt
src/clintest.egg-info/requires.txt
src/clintest.egg-info/top_level.txt
tests/test_assertion.py
tests/test_outcome.py
tests/test_protocol.py
tests/test_quantifier.py
tests/test_solver.py
tests/test_test.py