如何在Pyomo混合整数线性规划中建立正确的连接约束？

from pyomo.environ import *
from pyomo.opt import SolverFactory

model = ConcreteModel()

model.x = Var(within=Integers, bounds=(0, 10))
model.y = Var(within=Integers, bounds=(0, 10))

model.obj = Objective(expr=model.x + model.y, sense=minimize)

model.constraint = Constraint(expr=model.x + model.y <= 10)

model.connect_constraint = Constraint(expr=model.x + model.y == 10)

solver = SolverFactory('glpk')
results = solver.solve(model)

model.display()