Hello,

If I understand correctly, there is no support in JAVA interface to add constraints as easy as in C++, for example, in C++,

cs.insert(B >= 0);
cs.insert(A >= 0);
cs.insert(B == 5);
cs.insert(B <= 7);

Otherwise, I do not see the domain Box in JAVA interface. What would be the instruction to enable it? (I am under Mac OS x, for information)

Thanks.

Zell.