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

remove SolutionObserver is sat/swig_helper.h; rename WithObserver into WithCallback

Browse Source
This commit is contained in:
Laurent Perron
2018-09-04 18:47:10 +02:00
parent 1c0f2f0fbd
commit 9a116eba39
13 changed files with 46 additions and 56 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/python/code_samples_sat.py
View File

@@ -252,7 +252,7 @@ def MinimalCpSatPrintIntermediateSolutions():
# Creates a solver and solves.
solver = cp_model.CpSolver()
solution_printer = VarArrayAndObjectiveSolutionPrinter([x, y, z])
status = solver.SolveWithSolutionObserver(model, solution_printer)
status = solver.SolveWithSolutionCallback(model, solution_printer)
print('Status = %s' % solver.StatusName(status))
print('Number of solutions found: %i' % solution_printer.SolutionCount())