gerrymander (cargo): Push-down state automata for games
Keywords: state-machine