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