Authors# Development Lead# Marc-Olivier Buob <marc-olivier.buob@nokia-bell-labs.com> Contributors# Maxime Raynal (hopcroft_minimize.py, incidence_automaton.py, prune_incidence_automaton.py) Achille Salaün (graph_view.py, revuz_minimize.py) Anne Bouillard (revuz_minimize.py)