Ошибка сегментации при использовании решателя CP-SAT ortools в vscode ⇐ Python

[Anonymous]

Я пытаюсь запустить Google ortools в vscode. В частности, я пытаюсь запустить решатель CP-SAT. При запуске кода выдает ошибку сегментации. Я не знаю, что делать. Также можем ли мы использовать ortools в vscode для разработки пакетов? Если да, то как? В противном случае, есть ли другие хорошие IDE для использования? Я использую Python.
Это мой код:
"""Simple solve."""
from ortools.sat.python import cp_model

def simple_sat_program():
"""Minimal CP-SAT example to showcase calling the solver."""
# Creates the model.
model = cp_model.CpModel()

# Creates the variables.
num_vals = 3
x = model.new_int_var(0, num_vals - 1, "x")
y = model.new_int_var(0, num_vals - 1, "y")
z = model.new_int_var(0, num_vals - 1, "z")

# Creates the constraints.
model.add(x != y)

# Creates a solver and solves the model.
solver = cp_model.CpSolver()
status = solver.solve(model)

if status == cp_model.OPTIMAL or status == cp_model.FEASIBLE:
print(f"x = {solver.value(x)}")
print(f"y = {solver.value(y)}")
print(f"z = {solver.value(z)}")
else:
print("No solution found.")

simple_sat_program()

Вот какую ошибку я получаю:
python demo.py
Segmentation fault


Подробнее здесь: https://stackoverflow.com/questions/786 ... -in-vscode