pdoc pytest hypothesis z3solver