How to use this parity game solver

Format

paritygamer (optional flags) game.gm

Flags

-d enables debugging output (the game before and after the checker)
-v enables verbose output (some more timing information)
-l enables latex output ( for easy table generation :) )
-t in {order, self, random, odd} U {all} where all runs the checker multiple times with all techniques.