public void Test()
{
Solver solver = new Solver(-1000, 1000);
IntVar i0 = new IntVar(solver, 0, 10);
IntVar i1 = new IntVar(solver, 10, 20);
IntVar i2 = new IntVar(solver, 20, 30);
IntVar s = new IntVar(solver, 30, 60);
IntVarList list = new IntVarList(solver, new IntVar[] { i0, i1, i2 });
IntVarListSum sum = list.Sum();
solver.Add(sum);
solver.Propagate();
Assert.AreEqual(s.Domain, sum.Var0.Domain);
}
static void Test1()
{
Solver solver = new Solver(0, 100);
IntVar a = new IntVar(solver, 0, 10);
IntVar b = new IntVar(solver, 0, 10);
IntVar c = new IntVar(solver, 0, 10);
IntVarList l = new IntVarList(a, b, c);
IntVarListSum sum = l.Sum();
solver.Add(sum);
solver.Propagate();
sum.Var0.Value = 6;
a.Value = 1;
b.Value = 2;
}
static void Mul2()
{
IntDomain v = new IntDomain();
for (int idx = 0; idx < 100000; ++idx)
{
Solver s = new Solver(-1000, 1000);
IntVar a = new IntVar(s, IntDomain.Random(-100, 100, 1), "a");
IntVar b = new IntVar(s, IntDomain.Random(-100, 100, 1), "b");
IntVar c = new IntVar(s, IntDomain.Random(-100, 100, 1), "c");
IntVar d = new IntVar(s, IntDomain.Random(-100, 100, 1), "d");
IntVarList l = new IntVarList(s, new IntVar[] { a, b, c, d });
//p.Add( a + b + c + d );
s.Add(l.Sum());
s.Propagate();
s.PrintVariables();
s.PrintConstraints();
}
}
