Exploiting semidefinite relaxations in constraint programming