# Set the states as finalv3=vertices[3]v4=vertices[4]game.mark_final(v3)game.mark_final(v4)

Finally, add the edges to the game. Similar to vertices, we instantiate new edges as game.Edge objects:

# Add edges to the game graphedge_list=[(0,1),(0,3),(1,0),(1,2),(1,4),(2,4),(2,2),(3,0),(3,4),(3,5),(4,3),(5,3),(5,6),(6,6),(6,7),(7,0),(7,3)]foruid,vidinedge_list:u=vertices[uid]v=vertices[vid]game.add_edge(game.Edge(u=u,v=v))

Now, given a game we invoke the ZielonkaSolver from iglsynth.solver.zielonka module
to compute the winning regions for players 1 and 2: