fix #1238

Laurent Perron · Laurent Perron · commit 80857633a75a · 2019-05-02T09:51:57.000+02:00
diff --git a/ortools/sat/csharp/CpSolver.cs b/ortools/sat/csharp/CpSolver.cs
@@ -160,7 +160,7 @@ public Boolean BooleanValue(ILiteral literal)
         }
         else
         {
-          return response_.Solution[index] == 0;
+          return response_.Solution[-index - 1] == 0;
         }
       }
       else

Original file line number	Diff line number	Diff line change
`@@ -160,7 +160,7 @@ public Boolean BooleanValue(ILiteral literal)`
`160`	`160`	`}`
`161`	`161`	`else`
`162`	`162`	`{`
`163`		`- return response_.Solution[index] == 0;`
	`163`	`+ return response_.Solution[-index - 1] == 0;`
`164`	`164`	`}`
`165`	`165`	`}`
`166`	`166`	`else`