moya/stable: links for sat-puzzle-solver