创建一个只能使用CPLEX Python API从列表中获取值的整数变量

Question

from docplex.cp.model import CpoModel
mdl = CpoModel()

在[0,10]之间创建一个整数变量：

variable = mdl.integer_var(min=0, max=10, name="variable")

如何创建一个只能从列表中获取整数值的变量？例如，只能是1,3,5或6的变量？

Answer 1

您可以使用set_domain

set_domain([1, 3, 4, 5, 9])

nb：

这是一个完整的示例：

from docplex.cp.model import CpoModel
mdl = CpoModel()
dvar     = mdl.integer_var(0, 3, "dvar")
dvar.set_domain([1, 3])
mdl.add(mdl.minimize(dvar))
msol = mdl.solve( )
if msol:
    print("Solution status: " + msol.get_solve_status())
    print("dvar = " , msol[dvar])
else:
    print("No solution found")

您也可以写

from docplex.cp.model import CpoModel
mdl = CpoModel()
dvar     = mdl.integer_var(name="dvar",domain=[1, 3])
mdl.add(mdl.minimize(dvar))
msol = mdl.solve( )
if msol:
    print("Solution status: " + msol.get_solve_status())
    print("dvar = " , msol[dvar])
else:
    print("No solution found")