pyehm (pypi): Python Efficient Hypothesis Management (PyEHM)
Keywords: python|pyehm|ehm|fast-mutual-exclusion|jpda|pda