aquaveo/dev: links for sat-puzzle-solver