pytomaton (pypi): A more convenient and succinct way of expressing state machines in Python
Keywords: automaton|state|machine|library