always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix

Browse Source
This commit is contained in:
Laurent Perron
2021-11-27 13:21:06 +01:00
parent 47111ed677
commit 68183ee9d9
1 changed files with 11 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
examples/tests/SatSolverTests.cs
View File

@@ -402,7 +402,17 @@ namespace Google.OrTools.Tests
{ ""name"": ""E"", ""domain"": [ ""0"", ""9"" ] }
],
""constraints"": [
{ ""allDiff"": { ""vars"": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 ] } },
{ ""allDiff"": { ""exprs"": [
{ ""vars"": [""0""], ""coeffs"": [""1""] },
{ ""vars"": [""1""], ""coeffs"": [""1""] },
{ ""vars"": [""2""], ""coeffs"": [""1""] },
{ ""vars"": [""3""], ""coeffs"": [""1""] },
{ ""vars"": [""4""], ""coeffs"": [""1""] },
{ ""vars"": [""5""], ""coeffs"": [""1""] },
{ ""vars"": [""6""], ""coeffs"": [""1""] },
{ ""vars"": [""7""], ""coeffs"": [""1""] },
{ ""vars"": [""8""], ""coeffs"": [""1""] },
{ ""vars"": [""9""], ""coeffs"": [""1""] } ] } },
{ ""linear"": { ""vars"": [ 6, 5, 9, 4, 3, 7, 8, 2, 0, 1 ], ""coeffs"": [ ""1"", ""0"", ""-1"", ""100"", ""1"", ""-1000"", ""-100"", ""10"", ""10"", ""1"" ], ""domain"": [ ""0"", ""0"" ] } }
]
}";