Python整数规划

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是什么库里的函数呢？最后显示函数名没有定义。感谢！

prob.solve 说明prob不是函数，而是库