Un programa basado en restricciones busca dichos valores para todas las variables.