Ortools не может оценить крайний случай LinearExpr ⇐ Python

[Anonymous]

Я столкнулся с особым крайним случаем в модели CP. Все мои переменные основаны на целых числах, но цель основана на числах с плавающей запятой.
При частом использовании моей модели с этим нет проблем. Но в одном конкретном случае я столкнулся с ошибкой при оценке цели.
В функции оценки возникает ошибка:

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

# The librairie function
def evaluate_linear_expr(
expression: LinearExprT, solution: cp_model_pb2.CpSolverResponse
) -> int:
"""Evaluate a linear expression against a solution."""
if isinstance(expression, IntegralTypes):
return int(expression)
if not isinstance(expression, LinearExpr):
raise TypeError("Cannot interpret %s as a linear expression." % expression)

value = 0
to_process = [(expression, 1)]
while to_process:
expr, coeff = to_process.pop()
if isinstance(expr, IntegralTypes):
value += int(expr) * coeff
elif isinstance(expr, _ProductCst):
to_process.append((expr.expression(), coeff * expr.coefficient()))
elif isinstance(expr, _Sum):
to_process.append((expr.left(), coeff))
to_process.append((expr.right(), coeff))
elif isinstance(expr, _SumArray):
for e in expr.expressions():
to_process.append((e, coeff))
value += expr.constant() * coeff
elif isinstance(expr, _WeightedSum):
for e, c in zip(expr.expressions(), expr.coefficients()):
to_process.append((e, coeff * c))
value += expr.constant() * coeff
elif isinstance(expr, IntVar):
value += coeff * solution.solution[expr.index]
elif isinstance(expr, _NotBooleanVariable):
value += coeff * (1 - solution.solution[expr.negated().index])
else:
# It raises here !
raise TypeError(f"Cannot interpret {expr} as a linear expression.")

return value

Ошибка: TypeError: невозможно интерпретировать 4000000.0 как линейное выражение.
Вот что я вижу в отладке:
р>

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

> expression
(7.209805335255949e-08 * (((((((3000 * (VAR300 + (quotient + has_remainder))) + (93000 * VAR879)) + (60000 * VAR300)) + ((1500 * VAR564) + (25000 * VAR780))) + ((2000 * VAR578) + (140000 * VAR781))) + ((9570.300000000001 * VAR832) + (40000 * VAR882))) + 4000000.0))

> type(expression)


> type(expr)

Я чувствую, что этим должна заниматься библиотека... или я делаю что-то не так?
Использованные версии:
сильный> Python 3.9.0; ortools 9.11.4210
Обновление
Я понял, что единственная разница между рабочими экземплярами и этим - это включение постоянного смещения с плавающей запятой, которое функция оценки не может обработать.
Я нашел это противоречивым, поскольку в любом случае моя цель — это плавающее значение, и она корректно обрабатывается без этой константы.

Подробнее здесь: https://stackoverflow.com/questions/791 ... -edge-case