public void Test() { MoreMoney mm = new MoreMoney(); Solver solver = mm.Solver; solver.Solve(new IntGenerate(solver, solver.IntVarList.ToArray(), IntVarSelector.CardinalityMin, new IntSearchInstantiateBest())); List <int> list = new List <int>(); foreach (IntVar var in solver.IntVarList) { list.Add(var.Value); } Assert.AreEqual(list.ToArray(), new int[] { 7, 5, 1, 6, 0, 8, 9, 2, 9567, 1085, 10652, 10652 }); int count = CountSolution(solver); Assert.AreEqual(count, 1); }
static public void MoreMoney() { MoreMoney mm = new MoreMoney(); Solver solver = mm.Solver; solver.PropagationQueue.Propagate(); solver.PrintVariables(); solver.Solve(new IntGenerate(solver, solver.IntVarList.ToArray(), IntVarSelector.CardinalityMin, new IntSearchInstantiateBest())); solver.PrintInformation(); solver.PrintVariables(); solver.PrintConstraints(); SearchAll(solver); solver.PrintConstraints(); solver.PrintInformation(); }