Update dotnet sat samples

2018-11-14 13:26:50 +01:00
parent 47fefdc3bb
commit e5da9b92f3
42 changed files with 420 additions and 2072 deletions
--- a/examples/dotnet/Google.OrTools.Examples.sln
+++ b/examples/dotnet/Google.OrTools.Examples.sln
--- a/makefiles/Makefile.dotnet.mk
+++ b/makefiles/Makefile.dotnet.mk
@@ -477,25 +477,25 @@ rdotnet_%.cs: \
 	"$(DOTNET_BIN)" build ortools$Slinear_solver$Ssamples$S$*.csproj
 	"$(DOTNET_BIN)" run --no-build --project ortools$Slinear_solver$Ssamples$S$*.csproj -- $(ARGS)

-.PHONY: test_donet_sat_samples # Build and Run all .Net SAT Samples (located in ortools/sat/samples)
-test_dotnet_samples: \
- rdotnet_binpacking_problem.cs \
- rdotnet_bool_or_sample.cs \
- rdotnet_channeling_sample.cs \
- rdotnet_code_sample.cs \
+.PHONY: test_dotnet_sat_samples # Build and Run all .Net SAT Samples (located in ortools/sat/samples)
+test_dotnet_sat_samples: \
+ rdotnet_BinPackingProblem.cs \
+ rdotnet_BoolOrSample.cs \
+ rdotnet_ChannelingSample.cs \
+ rdotnet_CodeSample.cs \
 rdotnet_CpIsFun.cs \
- rdotnet_interval_sample.cs \
- rdotnet_literal_sample.cs \
- rdotnet_no_overlap_sample.cs \
- rdotnet_optional_interval_sample.cs \
- rdotnet_rabbits_and_pheasants.cs \
- rdotnet_ranking_sample.cs \
- rdotnet_reified_sample.cs \
- rdotnet_simple_solve.cs \
- rdotnet_solve_all_solutions.cs \
- rdotnet_solve_with_intermediate_solutions.cs \
- rdotnet_solve_with_time_limit.cs \
- rdotnet_stop_after_n_solutions.cs
+ rdotnet_IntervalSample.cs \
+ rdotnet_LiteralSample.cs \
+ rdotnet_NoOverlapSample.cs \
+ rdotnet_OptionalIntervalSample.cs \
+ rdotnet_RabbitsAndPheasants.cs \
+ rdotnet_RankingSample.cs \
+ rdotnet_ReifiedSample.cs \
+ rdotnet_SimpleSolve.cs \
+ rdotnet_SolveAllSolutions.cs \
+ rdotnet_SolveWithIntermediateSolutions.cs \
+ rdotnet_SolveWithTimeLimit.cs \
+ rdotnet_StopAfterNSolutions.cs

 .PHONY: test_donet_linear_solver_samples # Build and Run all .Net LP Samples (located in ortools/linear_solver/samples)
 test_dotnet_linear_solver_samples: \
--- a/ortools/sat/samples/binpacking_problem.cs
+++ b/ortools/sat/samples/binpacking_problem.cs
--- a/ortools/sat/samples/BinPackingProblem.csproj
+++ b/ortools/sat/samples/BinPackingProblem.csproj
@@ -14,7 +14,7 @@
  </PropertyGroup>

  <ItemGroup>
-    <Compile Include="channeling_sample.cs" />
+    <Compile Include="BinPackingProblem.cs" />
    <PackageReference Include="Google.OrTools" Version="6.9.*" />
  </ItemGroup>
 </Project>
--- a/ortools/sat/samples/bool_or_sample.cs
+++ b/ortools/sat/samples/bool_or_sample.cs
--- a/ortools/sat/samples/BoolOrSample.csproj
+++ b/ortools/sat/samples/BoolOrSample.csproj
@@ -14,7 +14,7 @@
  </PropertyGroup>

  <ItemGroup>
-    <Compile Include="simple_solve.cs" />
+    <Compile Include="BoolOrSample.cs" />
    <PackageReference Include="Google.OrTools" Version="6.9.*" />
  </ItemGroup>
 </Project>
--- a/ortools/sat/samples/channeling_sample.cs
+++ b/ortools/sat/samples/channeling_sample.cs
--- a/ortools/sat/samples/ChannelingSample.csproj
+++ b/ortools/sat/samples/ChannelingSample.csproj
@@ -0,0 +1,20 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <LangVersion>7.2</LangVersion>
+    <TargetFramework>netcoreapp2.1</TargetFramework>
+    <EnableDefaultItems>false</EnableDefaultItems>
+    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
+  </PropertyGroup>
+
+  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
+    <DebugType>full</DebugType>
+    <Optimize>true</Optimize>
+    <GenerateTailCalls>true</GenerateTailCalls>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <Compile Include="ChannelingSample.cs" />
+    <PackageReference Include="Google.OrTools" Version="6.9.*" />
+  </ItemGroup>
+</Project>
--- a/ortools/sat/samples/code_sample.cs
+++ b/ortools/sat/samples/code_sample.cs
--- a/ortools/sat/samples/code_sample.csproj
+++ b/ortools/sat/samples/code_sample.csproj
@@ -14,7 +14,7 @@
  </PropertyGroup>

  <ItemGroup>
-    <Compile Include="code_sample.cs" />
+    <Compile Include="CodeSample.cs" />
    <PackageReference Include="Google.OrTools" Version="6.9.*" />
  </ItemGroup>
 </Project>
--- a/ortools/sat/samples/interval_sample.cs
+++ b/ortools/sat/samples/interval_sample.cs
--- a/ortools/sat/samples/IntervalSample.csproj
+++ b/ortools/sat/samples/IntervalSample.csproj
@@ -14,7 +14,7 @@
  </PropertyGroup>

  <ItemGroup>
-    <Compile Include="ranking_sample.cs" />
+    <Compile Include="IntervalSample.cs" />
    <PackageReference Include="Google.OrTools" Version="6.9.*" />
  </ItemGroup>
 </Project>
--- a/ortools/sat/samples/literal_sample.cs
+++ b/ortools/sat/samples/literal_sample.cs
--- a/ortools/sat/samples/bool_or_sample.csproj
+++ b/ortools/sat/samples/bool_or_sample.csproj
@@ -14,7 +14,7 @@
  </PropertyGroup>

  <ItemGroup>
-    <Compile Include="bool_or_sample.cs" />
+    <Compile Include="LiteralSample.cs" />
    <PackageReference Include="Google.OrTools" Version="6.9.*" />
  </ItemGroup>
 </Project>
--- a/ortools/sat/samples/no_overlap_sample.cs
+++ b/ortools/sat/samples/no_overlap_sample.cs
--- a/ortools/sat/samples/NoOverlapSample.csproj
+++ b/ortools/sat/samples/NoOverlapSample.csproj
@@ -14,7 +14,7 @@
  </PropertyGroup>

  <ItemGroup>
-    <Compile Include="interval_sample.cs" />
+    <Compile Include="NoOverlapSample.cs" />
    <PackageReference Include="Google.OrTools" Version="6.9.*" />
  </ItemGroup>
 </Project>
--- a/ortools/sat/samples/optional_interval_sample.cs
+++ b/ortools/sat/samples/optional_interval_sample.cs
--- a/ortools/sat/samples/OptionalIntervalSample.csproj
+++ b/ortools/sat/samples/OptionalIntervalSample.csproj
@@ -0,0 +1,20 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <LangVersion>7.2</LangVersion>
+    <TargetFramework>netcoreapp2.1</TargetFramework>
+    <EnableDefaultItems>false</EnableDefaultItems>
+    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
+  </PropertyGroup>
+
+  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
+    <DebugType>full</DebugType>
+    <Optimize>true</Optimize>
+    <GenerateTailCalls>true</GenerateTailCalls>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <Compile Include="OptionalIntervalSample.cs" />
+    <PackageReference Include="Google.OrTools" Version="6.9.*" />
+  </ItemGroup>
+</Project>
--- a/ortools/sat/samples/rabbits_and_pheasants.cs
+++ b/ortools/sat/samples/rabbits_and_pheasants.cs
--- a/ortools/sat/samples/RabbitsAndPheasants.csproj
+++ b/ortools/sat/samples/RabbitsAndPheasants.csproj
@@ -0,0 +1,20 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <LangVersion>7.2</LangVersion>
+    <TargetFramework>netcoreapp2.1</TargetFramework>
+    <EnableDefaultItems>false</EnableDefaultItems>
+    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
+  </PropertyGroup>
+
+  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
+    <DebugType>full</DebugType>
+    <Optimize>true</Optimize>
+    <GenerateTailCalls>true</GenerateTailCalls>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <Compile Include="RabbitsAndPheasants.cs" />
+    <PackageReference Include="Google.OrTools" Version="6.9.*" />
+  </ItemGroup>
+</Project>
--- a/ortools/sat/samples/ranking_sample.cs
+++ b/ortools/sat/samples/ranking_sample.cs
--- a/ortools/sat/samples/literal_sample.csproj
+++ b/ortools/sat/samples/literal_sample.csproj
@@ -14,7 +14,7 @@
  </PropertyGroup>

  <ItemGroup>
-    <Compile Include="literal_sample.cs" />
+    <Compile Include="RankingSample.cs" />
    <PackageReference Include="Google.OrTools" Version="6.9.*" />
  </ItemGroup>
 </Project>
--- a/ortools/sat/samples/reified_sample.cs
+++ b/ortools/sat/samples/reified_sample.cs
--- a/ortools/sat/samples/ReifiedSample.csproj
+++ b/ortools/sat/samples/ReifiedSample.csproj
@@ -0,0 +1,20 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <LangVersion>7.2</LangVersion>
+    <TargetFramework>netcoreapp2.1</TargetFramework>
+    <EnableDefaultItems>false</EnableDefaultItems>
+    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
+  </PropertyGroup>
+
+  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
+    <DebugType>full</DebugType>
+    <Optimize>true</Optimize>
+    <GenerateTailCalls>true</GenerateTailCalls>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <Compile Include="ReifiedSample.cs" />
+    <PackageReference Include="Google.OrTools" Version="6.9.*" />
+  </ItemGroup>
+</Project>
--- a/ortools/sat/samples/simple_solve.cs
+++ b/ortools/sat/samples/simple_solve.cs
--- a/ortools/sat/samples/SimpleSolve.csproj
+++ b/ortools/sat/samples/SimpleSolve.csproj
@@ -0,0 +1,20 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <LangVersion>7.2</LangVersion>
+    <TargetFramework>netcoreapp2.1</TargetFramework>
+    <EnableDefaultItems>false</EnableDefaultItems>
+    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
+  </PropertyGroup>
+
+  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
+    <DebugType>full</DebugType>
+    <Optimize>true</Optimize>
+    <GenerateTailCalls>true</GenerateTailCalls>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <Compile Include="SimpleSolve.cs" />
+    <PackageReference Include="Google.OrTools" Version="6.9.*" />
+  </ItemGroup>
+</Project>
--- a/ortools/sat/samples/solve_all_solutions.cs
+++ b/ortools/sat/samples/solve_all_solutions.cs
--- a/ortools/sat/samples/SolveAllSolutions.csproj
+++ b/ortools/sat/samples/SolveAllSolutions.csproj
@@ -0,0 +1,20 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <LangVersion>7.2</LangVersion>
+    <TargetFramework>netcoreapp2.1</TargetFramework>
+    <EnableDefaultItems>false</EnableDefaultItems>
+    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
+  </PropertyGroup>
+
+  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
+    <DebugType>full</DebugType>
+    <Optimize>true</Optimize>
+    <GenerateTailCalls>true</GenerateTailCalls>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <Compile Include="SolveAllSolutions.cs" />
+    <PackageReference Include="Google.OrTools" Version="6.9.*" />
+  </ItemGroup>
+</Project>
--- a/ortools/sat/samples/solve_with_intermediate_solutions.cs
+++ b/ortools/sat/samples/solve_with_intermediate_solutions.cs
--- a/ortools/sat/samples/SolveWithIntermediateSolutions.csproj
+++ b/ortools/sat/samples/SolveWithIntermediateSolutions.csproj
@@ -0,0 +1,20 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <LangVersion>7.2</LangVersion>
+    <TargetFramework>netcoreapp2.1</TargetFramework>
+    <EnableDefaultItems>false</EnableDefaultItems>
+    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
+  </PropertyGroup>
+
+  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
+    <DebugType>full</DebugType>
+    <Optimize>true</Optimize>
+    <GenerateTailCalls>true</GenerateTailCalls>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <Compile Include="SolveWithIntermediateSolutions.cs" />
+    <PackageReference Include="Google.OrTools" Version="6.9.*" />
+  </ItemGroup>
+</Project>
--- a/ortools/sat/samples/solve_with_time_limit.cs
+++ b/ortools/sat/samples/solve_with_time_limit.cs
--- a/ortools/sat/samples/SolveWithTimeLimit.csproj
+++ b/ortools/sat/samples/SolveWithTimeLimit.csproj
@@ -14,7 +14,7 @@
  </PropertyGroup>

  <ItemGroup>
-    <Compile Include="binpacking_problem.cs" />
+    <Compile Include="SolveWithTimeLimit.cs" />
    <PackageReference Include="Google.OrTools" Version="6.9.*" />
  </ItemGroup>
 </Project>
--- a/ortools/sat/samples/stop_after_n_solutions.cs
+++ b/ortools/sat/samples/stop_after_n_solutions.cs
--- a/ortools/sat/samples/StopAfterNSolutions.csproj
+++ b/ortools/sat/samples/StopAfterNSolutions.csproj
@@ -0,0 +1,20 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <LangVersion>7.2</LangVersion>
+    <TargetFramework>netcoreapp2.1</TargetFramework>
+    <EnableDefaultItems>false</EnableDefaultItems>
+    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
+  </PropertyGroup>
+
+  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
+    <DebugType>full</DebugType>
+    <Optimize>true</Optimize>
+    <GenerateTailCalls>true</GenerateTailCalls>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <Compile Include="StopAfterNSolutions.cs" />
+    <PackageReference Include="Google.OrTools" Version="6.9.*" />
+  </ItemGroup>
+</Project>
--- a/ortools/sat/samples/no_overlap_sample.csproj
+++ b/ortools/sat/samples/no_overlap_sample.csproj
@@ -1,20 +0,0 @@
-<Project Sdk="Microsoft.NET.Sdk">
-  <PropertyGroup>
-    <OutputType>Exe</OutputType>
-    <LangVersion>7.2</LangVersion>
-    <TargetFramework>netcoreapp2.1</TargetFramework>
-    <EnableDefaultItems>false</EnableDefaultItems>
-    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
-  </PropertyGroup>
-
-  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
-    <DebugType>full</DebugType>
-    <Optimize>true</Optimize>
-    <GenerateTailCalls>true</GenerateTailCalls>
-  </PropertyGroup>
-
-  <ItemGroup>
-    <Compile Include="no_overlap_sample.cs" />
-    <PackageReference Include="Google.OrTools" Version="6.9.*" />
-  </ItemGroup>
-</Project>
--- a/ortools/sat/samples/optional_interval_sample.csproj
+++ b/ortools/sat/samples/optional_interval_sample.csproj
@@ -1,20 +0,0 @@
-<Project Sdk="Microsoft.NET.Sdk">
-  <PropertyGroup>
-    <OutputType>Exe</OutputType>
-    <LangVersion>7.2</LangVersion>
-    <TargetFramework>netcoreapp2.1</TargetFramework>
-    <EnableDefaultItems>false</EnableDefaultItems>
-    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
-  </PropertyGroup>
-
-  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
-    <DebugType>full</DebugType>
-    <Optimize>true</Optimize>
-    <GenerateTailCalls>true</GenerateTailCalls>
-  </PropertyGroup>
-
-  <ItemGroup>
-    <Compile Include="optional_interval_sample.cs" />
-    <PackageReference Include="Google.OrTools" Version="6.9.*" />
-  </ItemGroup>
-</Project>
--- a/ortools/sat/samples/rabbits_and_pheasants.csproj
+++ b/ortools/sat/samples/rabbits_and_pheasants.csproj
@@ -1,20 +0,0 @@
-<Project Sdk="Microsoft.NET.Sdk">
-  <PropertyGroup>
-    <OutputType>Exe</OutputType>
-    <LangVersion>7.2</LangVersion>
-    <TargetFramework>netcoreapp2.1</TargetFramework>
-    <EnableDefaultItems>false</EnableDefaultItems>
-    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
-  </PropertyGroup>
-
-  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
-    <DebugType>full</DebugType>
-    <Optimize>true</Optimize>
-    <GenerateTailCalls>true</GenerateTailCalls>
-  </PropertyGroup>
-
-  <ItemGroup>
-    <Compile Include="rabbits_and_pheasants.cs" />
-    <PackageReference Include="Google.OrTools" Version="6.9.*" />
-  </ItemGroup>
-</Project>
--- a/ortools/sat/samples/reified_sample.csproj
+++ b/ortools/sat/samples/reified_sample.csproj
@@ -1,20 +0,0 @@
-<Project Sdk="Microsoft.NET.Sdk">
-  <PropertyGroup>
-    <OutputType>Exe</OutputType>
-    <LangVersion>7.2</LangVersion>
-    <TargetFramework>netcoreapp2.1</TargetFramework>
-    <EnableDefaultItems>false</EnableDefaultItems>
-    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
-  </PropertyGroup>
-
-  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
-    <DebugType>full</DebugType>
-    <Optimize>true</Optimize>
-    <GenerateTailCalls>true</GenerateTailCalls>
-  </PropertyGroup>
-
-  <ItemGroup>
-    <Compile Include="reified_sample.cs" />
-    <PackageReference Include="Google.OrTools" Version="6.9.*" />
-  </ItemGroup>
-</Project>
--- a/ortools/sat/samples/solve_all_solutions.csproj
+++ b/ortools/sat/samples/solve_all_solutions.csproj
@@ -1,20 +0,0 @@
-<Project Sdk="Microsoft.NET.Sdk">
-  <PropertyGroup>
-    <OutputType>Exe</OutputType>
-    <LangVersion>7.2</LangVersion>
-    <TargetFramework>netcoreapp2.1</TargetFramework>
-    <EnableDefaultItems>false</EnableDefaultItems>
-    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
-  </PropertyGroup>
-
-  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
-    <DebugType>full</DebugType>
-    <Optimize>true</Optimize>
-    <GenerateTailCalls>true</GenerateTailCalls>
-  </PropertyGroup>
-
-  <ItemGroup>
-    <Compile Include="solve_all_solutions.cs" />
-    <PackageReference Include="Google.OrTools" Version="6.9.*" />
-  </ItemGroup>
-</Project>
--- a/ortools/sat/samples/solve_with_intermediate_solutions.csproj
+++ b/ortools/sat/samples/solve_with_intermediate_solutions.csproj
@@ -1,20 +0,0 @@
-<Project Sdk="Microsoft.NET.Sdk">
-  <PropertyGroup>
-    <OutputType>Exe</OutputType>
-    <LangVersion>7.2</LangVersion>
-    <TargetFramework>netcoreapp2.1</TargetFramework>
-    <EnableDefaultItems>false</EnableDefaultItems>
-    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
-  </PropertyGroup>
-
-  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
-    <DebugType>full</DebugType>
-    <Optimize>true</Optimize>
-    <GenerateTailCalls>true</GenerateTailCalls>
-  </PropertyGroup>
-
-  <ItemGroup>
-    <Compile Include="solve_with_intermediate_solutions.cs" />
-    <PackageReference Include="Google.OrTools" Version="6.9.*" />
-  </ItemGroup>
-</Project>
--- a/ortools/sat/samples/solve_with_time_limit.csproj
+++ b/ortools/sat/samples/solve_with_time_limit.csproj
@@ -1,20 +0,0 @@
-<Project Sdk="Microsoft.NET.Sdk">
-  <PropertyGroup>
-    <OutputType>Exe</OutputType>
-    <LangVersion>7.2</LangVersion>
-    <TargetFramework>netcoreapp2.1</TargetFramework>
-    <EnableDefaultItems>false</EnableDefaultItems>
-    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
-  </PropertyGroup>
-
-  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
-    <DebugType>full</DebugType>
-    <Optimize>true</Optimize>
-    <GenerateTailCalls>true</GenerateTailCalls>
-  </PropertyGroup>
-
-  <ItemGroup>
-    <Compile Include="solve_with_time_limit.cs" />
-    <PackageReference Include="Google.OrTools" Version="6.9.*" />
-  </ItemGroup>
-</Project>
--- a/ortools/sat/samples/stop_after_n_solutions.csproj
+++ b/ortools/sat/samples/stop_after_n_solutions.csproj
@@ -1,20 +0,0 @@
-<Project Sdk="Microsoft.NET.Sdk">
-  <PropertyGroup>
-    <OutputType>Exe</OutputType>
-    <LangVersion>7.2</LangVersion>
-    <TargetFramework>netcoreapp2.1</TargetFramework>
-    <EnableDefaultItems>false</EnableDefaultItems>
-    <RestoreSources>../../../packages;$(RestoreSources);https://api.nuget.org/v3/index.json</RestoreSources>
-  </PropertyGroup>
-
-  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
-    <DebugType>full</DebugType>
-    <Optimize>true</Optimize>
-    <GenerateTailCalls>true</GenerateTailCalls>
-  </PropertyGroup>
-
-  <ItemGroup>
-    <Compile Include="stop_after_n_solutions.cs" />
-    <PackageReference Include="Google.OrTools" Version="6.9.*" />
-  </ItemGroup>
-</Project>