GitHub repository: usefulalgorithm/PAC-MAN
Primary language: Java
Description: PACMAN for SV-COMP 2016