AnyBella - 2015-11-22

Hi
I am new at constraint programming, I have three values: a, b and c.
I want to assign a constant to each value: eg : a -> 1, b -> 2, c -> 3, then I want to display the result ( is based on choco 2.1.5 )

Thanks for your help.