issue18.cs

// Copyright 2010-2022 Google LLC
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

using System;
using System.Collections.Generic;
using Google.OrTools.ConstraintSolver;

public class Issue18
{
    public static void NewSearchTest()
    {
        Solver solver = new Google.OrTools.ConstraintSolver.Solver("p");

        // creating dummy variables
        List<IntVar> vars = new List<IntVar>();
        for (int i = 0; i < 100000; i++)
        {
            vars.Add(solver.MakeIntVar(0, 1));
        }

        IntExpr globalSum = solver.MakeSum(vars.ToArray());

        DecisionBuilder db = solver.MakePhase(vars.ToArray(), Google.OrTools.ConstraintSolver.Solver.INT_VAR_SIMPLE,
                                              Google.OrTools.ConstraintSolver.Solver.INT_VALUE_SIMPLE);

        solver.NewSearch(db, new OptimizeVar(solver, true, globalSum.Var(), 100));

        // force Garbage Collector
        GC.Collect();
        GC.WaitForPendingFinalizers();

        // Try to read all solutions
        int count = 0;
        while (solver.NextSolution())
        {
            count++;
            Console.WriteLine("solution " + count + " found");
            // Console.WriteLine("solution " + globalSum.Var().Value());
            if (count > 10)
            {
                break;
            }
        }
        Console.WriteLine("Solutions: " + count);
    }
    static void Main()
    {
        NewSearchTest();
    }
}