GitHub repository: lrei/willy
Primary language: Python
Description: A sokoban solver in python