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.