Generating and solving the LIGHTS OUT! game in first order logic. - Borbála Fazakas; Barna Keresztes; Adrian Groza (ICCP, 2022)