GitHub repository: nhaarman/macs2
Primary language: Java
Description: A smv generator for sokoban for the MACS2 course at the University of Twente.