import cvxpy as cp
from numpy import array
c=array([40,90])
a=array([[9,7],[-7,-20]])
b=array([56,-70])
x=cp.Variable(2,integer=True)
obj=cp.Minimize(c*x)
cons=[a*x<=b,x>=0]
prob.solve(solver='GLPK_MI',verbose=True)
print("最优解为:",print.value)
print("最优解为:\n",x.value)
请问这个prob是什么库里的函数呢?最后显示函数名没有定义。感谢!