Links for csp-solver