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.