nuwa/stage: links for sat-puzzle-solver