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)