// TEST
static void test1(String args[]) throws Exception
{
Constrainer C = new Constrainer("Test");
IntExp x = C.addIntVar(0,10,"x",IntVar.DOMAIN_DEFAULT);
IntExp y = C.addIntVar(2,10,"y",IntVar.DOMAIN_DEFAULT);
IntExp z = C.addIntVar(0,10,"z",IntVar.DOMAIN_DEFAULT);
int size = 3;
IntExpArray vars = new IntExpArray(C, size);