Zielonka Solver

class iglsynth.solver.zielonka.ZielonkaSolver(game)

Bases: iglsynth.solver.core.ISolver

The Zielonka Solver for computing winning regions, strategies for P1 in a deterministic two-player zero-sum game.

Parameters:game – (Game) The game to be solved.

Note

In v0.2.3, no validation is run on the game object before running the solver.

Note

In v0.2.3, only winning region is computed, winning strategy is NOT computed.

p1_win

Returns the P1’s winning region. Returns None, if the solver has not solved the game.

p2_win

Returns the P2’s winning region. Returns None, if the solver has not solved the game.

solve()

Runs the solver.