Links for sat-puzzle-solver