diff --git a/examples/dotnet/csfz.cs b/examples/dotnet/csfz.cs deleted file mode 100644 index 0fd1da04d0..0000000000 --- a/examples/dotnet/csfz.cs +++ /dev/null @@ -1,95 +0,0 @@ -// Copyright 2010-2018 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 Google.OrTools.Flatzinc; - -public class CsFz -{ - /** - * Loads a flatzinc file (passed as the first argument) and solves it. - */ - private static void Solve(String filename) - { - Model model = new Model(filename); - model.LoadFromFile(filename); - // Uncomment to see the model. - // Console.WriteLine(model.ToString()); - // This is mandatory. - model.PresolveForCp(/*verbose=*/false); - // Display basic statistics on the model. - model.PrintStatistics(); - - FlatzincParameters parameters = new FlatzincParameters(); - // Initialize to default values as in the C++ runner. - parameters.all_solutions = false; - parameters.free_search = false; - parameters.last_conflict = false; - parameters.heuristic_period = 100; - parameters.ignore_unknown = false; - parameters.log_period = 10000000; - parameters.luby_restart = -1; - parameters.num_solutions = 0; - parameters.restart_log_size = -1; - parameters.threads = 0; - parameters.time_limit_in_ms = 10000; - parameters.logging = false; - parameters.verbose_impact = false; - parameters.thread_id = -1; - parameters.search_type = FlatzincParameters.DEFAULT; - // Mandatory to retrieve solutions. - parameters.store_all_solutions = true; - - Solver solver = new Solver(model); - solver.Solve(parameters); - - int last = solver.NumStoredSolutions() - 1; - if (last >= 0) { - SolutionOutputSpecsVector output_vector = model.output(); - foreach (SolutionOutputSpecs output in output_vector) { - if (output.variable != null) { - IntegerVariable var = output.variable; - Console.WriteLine(output.name + " = " + - solver.StoredValue(last, var)); - } - if (output.flat_variables.Count > 0) { - String line = output.name; - foreach (SolutionOutputSpecs.Bounds b in output.bounds) { - line += "[" + b.ToString() + "]"; - } - line += " = {"; - bool start = true; - foreach (IntegerVariable var in output.flat_variables) { - if (start) { - start = false; - } else { - line += ", "; - } - line += solver.StoredValue(last, var); - } - line += "}"; - Console.WriteLine(line); - } - } - } - } - - public static void Main(String[] args) - { - if (args.Length == 0) { - Console.WriteLine("A file name is required!"); - } else { - Solve(args[0]); - } - } -} diff --git a/examples/dotnet/csfz.csproj b/examples/dotnet/csfz.csproj deleted file mode 100644 index 2942180999..0000000000 --- a/examples/dotnet/csfz.csproj +++ /dev/null @@ -1,22 +0,0 @@ - - - Exe - 7.2 - netcoreapp2.1 - false - ../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json - Google.OrTools.csfz - true - - - - full - true - true - - - - - - - diff --git a/makefiles/Makefile.dotnet.mk b/makefiles/Makefile.dotnet.mk index 3edcfff8e4..8bb8b00368 100644 --- a/makefiles/Makefile.dotnet.mk +++ b/makefiles/Makefile.dotnet.mk @@ -293,7 +293,7 @@ $(OBJ_DIR)/swig/sorted_interval_list_csharp_wrap.$O: \ | $(OBJ_DIR)/swig $(CCC) $(CFLAGS) \ -c $(GEN_PATH)$Sortools$Sutil$Ssorted_interval_list_csharp_wrap.cc \ - $(OBJ_OUT)$(OBJ_DIR)$Sswig$Ssorted_interval_list_csharp_wrap.$O + $(OBJ_OUT)$(OBJ_DIR)$Sswig$Ssorted_interval_list_csharp_wrap.$O ifneq ($(DOTNET_SNK),) $(DOTNET_ORTOOLS_SNK): | $(BIN_DIR) @@ -650,7 +650,6 @@ test_dotnet_contrib: $(MAKE) run SOURCE=examples/contrib/fsvolsay3-lpSolve.fs $(MAKE) run SOURCE=examples/contrib/fsvolsay3.fs $(MAKE) run SOURCE=examples/contrib/SimpleProgramFSharp.fs -# $(MAKE) run SOURCE=examples/contrib/csfz.cs # Flatzinc needed # $(MAKE) run SOURCE=examples/contrib/nontransitive_dice.cs # too long # $(MAKE) run SOURCE=examples/contrib/partition.cs # too long # $(MAKE) run SOURCE=examples/contrib/secret_santa.cs # too long