NEWS
author marci
Thu, 10 Feb 2005 18:53:30 +0000
changeset 1144 1cfabf245433
permissions -rw-r--r--
trying to add constraints of kind 1 <= x[2]+x[3] <= 4