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.dotSee also the output of ./solve -h for more formating info.