Links for seeq-constraintdetection