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
2019-05-06 17:21:21 +02:00
parent 2594fa858d
commit d519679a74
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
examples/tests/TestSatSolver.java
View File

@@ -15,6 +15,7 @@ import com.google.ortools.sat.CpModel;
import com.google.ortools.sat.CpSolver;
import com.google.ortools.sat.CpSolverStatus;
import com.google.ortools.sat.IntVar;
import com.google.ortools.sat.LinearExpr;
import java.util.logging.Logger;
import java.util.Random;
@@ -34,7 +35,7 @@ public class TestSatSolver {
// Create a linear constraint which enforces that only x or y can be greater
// than 0.
model.addSumConstraint(new IntVar[] { x, y }, 0, 1);
model.addLinearConstraint(LinearExpr.Sum(new IntVar[] { x, y }), 0, 1);
// Create the objective variable
IntVar obj = model.newIntVar(0, 3, "obj");

1
ortools/sat/samples/SolveAndPrintIntermediateSolutionsSampleSat.java
View File

@@ -16,6 +16,7 @@ import com.google.ortools.sat.CpModel;
import com.google.ortools.sat.CpSolver;
import com.google.ortools.sat.CpSolverSolutionCallback;
import com.google.ortools.sat.IntVar;
import com.google.ortools.sat.LinearExpr;
/** Solves an optimization problem and displays all intermediate solutions. */
public class SolveAndPrintIntermediateSolutionsSampleSat {