java - programming - Los tipos inferidos de tipos incompatibles no se ajustan a las restricciones de

constraint programming - software - Comenzar con la Programación de Restricción