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

rename sat example; add to python tests

Browse Source
This commit is contained in:
Laurent Perron
2018-11-19 10:48:28 -08:00
parent d3e201eb50
commit 0fc757c607
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
examples/python/tasks_and_workers_assignment_sat.py
View File

@@ -15,7 +15,7 @@
from ortools.sat.python import cp_model
class SolutionPrinter(cp_model.CpSolverSolutionCallback):
class ObjectivePrinter(cp_model.CpSolverSolutionCallback):
"""Print intermediate solutions."""
def __init__(self):
@@ -97,8 +97,8 @@ def tasks_and_workers_assignment_sat():
# Solve and print out the solution.
solver = cp_model.CpSolver()
solver.parameters.max_time_in_seconds = 60 * 60 * 2
solution_printer = SolutionPrinter()
status = solver.SolveWithSolutionCallback(model, solution_printer)
objective_printer = ObjectivePrinter()
status = solver.SolveWithSolutionCallback(model, objective_printer)
print(solver.ResponseStats())
if status == cp_model.OPTIMAL: