Нет вывода на печать после вызова CpSolver.Solve() в OR‑Tools ⇐ Python

[Anonymous]

Когда я выполняю этот код, ничего не отображается

Код: Выделить всё

from ortools.sat.python import cp_model

model = cp_model.CpModel()

a=model.NewIntVar(0, 1, "a")
b=model.NewIntVar(0, 1, "b")

solver = cp_model.CpSolver()
solver.Solve(model)

print(solver.value(a))

Я думаю, проблема в Solver.Solve(model), потому что я попробовал добавить перед ним оператор печати, и он работает. Но после этого ничего не появляется.
Код выполняется, хотя [Done] завершается с кодом = 3221225477 через 1,787 секунды

Подробнее здесь: https://stackoverflow.com/questions/798 ... n-or-tools