You are here

NUGAT - Game Solver

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