NuGaT is a game solver built on top of the NuSMV model checker.