Solver for The Witness puzzles - View it on GitHub