AI project: All Lights Out A project developed by Beáta Keresztes, Borbála Fazakas and Adrian Groza. See the Logics section in the documentation for more information.