我目前正在使用googleOR-toolsCP-SAT求解器来解决规划问题。我使用IntVars作为日期的表示。所有这些IntVar都在字典中。我有一些可以正常工作的约束，但我想强制求解器使大约2/3的Intvars低于400。我尝试使用BoolVars解决问题，但没有成功，我运行了出于如何将2/3

我正在处理作业车间调度问题，其中我有一些定义为时间间隔变量的任务：IntervalVartaskInterval=model.NewIntervalVar(start,duration,end,$"interval_{task.WorkOrder_Id}_{task.TaskId}");每个任务都可以在某个工作站上完成，每个工作站都有自己的日历。List<UserCalendarsDTO>