Some puzzle solvers (Sokoban, Sudoku, etc.) - View it on GitHub