
30 Jul
2012
30 Jul
'12
10:40 a.m.
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.