Hello, <br><br>If I understand correctly, there is no support in JAVA interface to add constraints as easy as in C++, for example, in C++, <br> <br>  cs.insert(B >= 0);<br>  cs.insert(A >= 0);<br>  cs.insert(B == 5);<br>
  cs.insert(B <= 7);<br><br>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)<br><br>Thanks. <br><br>Zell.<br>