marci [Thu, 10 Feb 2005 18:53:30 +0000] rev 1144
trying to add constraints of kind 1 <= x[2]+x[3] <= 4
marci [Tue, 08 Feb 2005 17:47:19 +0000] rev 1143
The pair of setSomeThing function is getSomeThing.
ladanyi [Tue, 08 Feb 2005 11:27:03 +0000] rev 1142
more docs