Инструменты OR (SCIP): модель становится невыполнимой/не возвращает решения для определенных наборов параметров. ⇐ Python

[Anonymous]

Я строю модель оптимизации смешанных целых чисел, используя OR-Tools с решателем SCIP для распределения материалов с учетом ограничений по упаковке и запасам.
Модель работает правильно для большинства входных данных. Однако для определенных комбинаций параметров решатель не возвращает никакого результата (оптимальное решение не найдено), хотя я ожидаю, что допустимое решение существует.
def allocate_materials(M, N, STOCK, GR, PACK, REQ, ALLOCATION, ALLOWED_MATERIALS):
solver = pywraplp.Solver.CreateSolver("SCIP")
if not solver:
return None

# Upper bounds for decision variables
max_x = max(REQ) // min(PACK) + 2
max_y = max(REQ) + 2

x = {}
y = {}
zz = {}
for i in range(M):
for j in range(N):
x[(i, j)] = solver.IntVar(0, max_x, f"x_{i}_{j}")
y[(i, j)] = solver.IntVar(0, max_y, f"y_{i}_{j}")
zz[(i, j)] = solver.IntVar(0, 1, f"zz_{i}_{j}")

z = solver.IntVar(0, solver.infinity(), "z_sum")
t = solver.IntVar(0, solver.infinity(), "t_sum")

# Each floor can choose at most one package type
for i in range(M):
solver.Add(sum(zz[(i, j)] for j in range(N))

Подробнее здесь: https://stackoverflow.com/questions/798 ... ecific-par