创建一个整型变量，该变量只能从具有cplex python api的列表中获取值

Question

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

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

^{pr2}$

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

Answer 1

您可以使用set_domain

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

问候

注意：

完整示例：

^{pr2}$

注意：

你也可以写

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")