pdoc
pytest
hypothesis
z3solver