constraint programming - adder, multiplier, constant, probe