nuwa/production: links for sat-puzzle-solver