Bonjour,
Dans le cadre de mon master je réalise un harmoniseur automatique de mélodies.
Mon travail est basé sur un algo de résolution de contraintes et pour instancier mon probleme j'ai utilisé un solveur open source:Cream
J'ai pour l'instant travaillé sur des domaines tres réduits (3 possibilités) et un ensemble de contraintes pas très grosses. J'ai des solutions en un temps raisonable mais j'en ai trop.
 
Mon prof m'a dit de travailler sur des domaines bien plus grands avec un nouvel ensemble de contraintes plus variées en utilisant la consistance d'arc pour eviter une explosion combinatoire.
 
Je me pose des questions de vocabulaire: Est ce que la propagation de contrainte est assimilable à la consitance d'arc? Si oui laquelle (1,2,k-consistance?)
Connaissez vous Cream et savez vous ce qu'il en est de ses performance sur des domaines très grands?
Sinon connaissez vous un autre solveur open source plus perfectionné?
 
Merci
 
MilOo