Repairing General Game Descriptions (extended version)

Yifan He, Munyque Mittelmann, Aniello Murano +2

The Game Description Language (GDL) is a widely used formalism for specifying the rules of general games. Writing correct GDL descriptions can be challenging, especially for non-ex…