我想使用分支定界法解决以下类型的整数线性规划问题：
最大（轴）
英石。 Cx
下面给出一个例子，用 Pyomo 解决。相当直接-

import pyomo.environ as pmo
from pyomo.opt import SolverFactory

M = pmo.ConcreteModel()
N = [1,2]
M.x = pmo.Var(N,bounds=(0,None),domain=pmo.PositiveIntegers)
M.o = pmo.Objective(expr=100*M.x[1] + 150*M.x[2],sense=pmo.maximize)
M.c1 = pmo.Constraint(expr=8000*M.x[1] + 4000*M.x[2] <= 40000)
M.c2 = pmo.Constraint(expr=15*M.x[1] + 30*M.x[2] <= 200)
model = M
solver = SolverFactory('glpk')
solver.solve(model,report_timing=True,tee=True)

如何使用 Pybnb 包而不是 Pyomo 解决同样的问题？
这个想法是解决线性问题，在上面的例子中，x[1]=2.22 和 x[2]=5.55 并以 x[2]==6 等开始分支。但是通过实现pybnb 我不清楚。
感谢您的帮助