GitHub repository: piccoli/autoban
Primary language: C++
Description: An automated solver for sokoban puzzles to better understand informed search methods.