如何在or-tools一维数组(python，or-tools )中找到大于0的最小值

from ortools.sat.python import cp_model

model = cp_model.CpModel()

array = [1, -2, 3, 0, -4, 5]  # 示例一维数组
n = len(array)  # 数组长度
min_value = model.NewIntVar(0, max(array), 'min_value')  # 创建一个变量表示最小值

model.Add(min_value > 0)  # 约束条件：最小值大于0

model.Minimize(min_value)  # 目标函数：最小化最小值

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

if status == cp_model.OPTIMAL:
    result = solver.Value(min_value)
    print("大于0的最小值为:", result)
else:
    print("无解")