A simple parity game solver that implements Zielonka's dynamic proramming algorithm.

This was an exercise to evaluate graph-tool, which provides python bindings for the graph library from boost.org and is the only dependency to run this code.

You can execute the evaluation of a demo game with

./solve.py examples/game1.dot

See also the output of ./solve -h for more formating info.