Пример Python OR-Tools CP-SAT завершается после создания решателя ⇐ Python

[Anonymous]

Я новичок в Google OR-Tools и пытаюсь начать с запуска базового примера из библиотеки примеров OR-Tools, которую можно найти здесь
https://github.com/google/or -tools/blob/stable/ortools/sat/samples/cp_sat_example.py.
Каждый пример кода зависает на одной и той же части после создания решателя.
Когда я запускаю код, я не получаю результатов ни из одного из примеров, каждый раз, когда он зависает после создания решателя, сценарий просто завершается. Я изменил этот пример кода модели CP-Stat, добавив несколько операторов печати для отладки, но до сих пор не могу понять, почему каждый пример зависает на одной и той же части.

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

#!/usr/bin/env python3
# [START program]
"""Simple solve."""
# [START import]
from ortools.sat.python import cp_model
# [END import]

def main() -> None:
"""Minimal CP-SAT example to showcase calling the solver."""
print("Starting the solver...")  # Debug print statement

try:
# Creates the model.
# [START model]
print("Creating model...")
model = cp_model.CpModel()
print("Model created.")
# [END model]

# Creates the variables.
# [START variables]
print("Creating variables...")
var_upper_bound = max(50, 45, 37)
x = model.NewIntVar(0, var_upper_bound, "x")
y = model.NewIntVar(0, var_upper_bound, "y")
z = model.NewIntVar(0, var_upper_bound, "z")
print(f"Variables created: x in [0, {var_upper_bound}], y in [0, {var_upper_bound}], z in [0, {var_upper_bound}]")
# [END variables]

# Creates the constraints.
# [START constraints]
print("Adding constraints...")
model.Add(2 * x + 7 * y + 3 * z 

Подробнее здесь: [url]https://stackoverflow.com/questions/78555396/or-tools-cp-sat-python-example-terminates-after-creating-solver[/url]