CPLEX CP调度问题：区间变量的浮点时间支持问询

CP Optimizer并非强制要求时间变量为整数，你可以通过显式配置启用连续时间模式来适配浮点时长的业务场景，具体操作如下：

• 全局设置连续时间域
  创建CP模型时，通过TimeType参数指定时间为连续类型：

  from docplex.cp.model import CpoModel
  
  # 创建支持连续时间的模型
  mdl = CpoModel(time_type='CONTINUOUS')
  

  这样所有区间变量的开始、持续时间、结束时间都会默认使用浮点数域。

• 单独指定区间变量的时间类型
  如果仅部分区间需要浮点时间，可以在定义interval_var时通过time_type参数单独设置：

  # 定义一个持续时间为浮点值的区间变量
  task = mdl.interval_var(size=2.5, time_type='CONTINUOUS')
  

• 注意事项

  • 启用连续时间后，所有时间相关的约束（如start_of、end_of、span等）都会自动支持浮点数运算。
  • 部分调度规则（如离散资源的抢占模式）可能需要调整，但基础的时序约束、资源分配均兼容连续时间。

内容的提问来源于stack exchange，提问作者Javi Pernas