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