je me sers de eclipse pour de la programmtion par contrainte et j'ai remarqué que la propagation des contraintes ne se faisait pas pour les contraintes linéaires du style A #=B+C avec la librairie Fd, un exemple :
[A,B,C,D] ::0..10, A+B+C+D#=10,S#=B+C,A#=0,D#=0, dom(S,Dom)
A = 0
B = B{[0..10]}
C = C{[0..10]}
D = 0
S = S{[0..20]}
Dom = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, ...]
(…)