↗tshikaboom/puzzleUniversity project some time ago. Puzzle solver using more or less efficient strategies