A Sokoban solver using symbolic model checking for the MACS2 course at the University of Twente
Primary LanguageJava
No issues in this repository yet.