约束网络由三元组<X，C，D>定义，其中X是一组变量，C是一组约束，D是X的域（即从变量到值集的映射）。约束满足问题（CSP）是决定约束网络是否具有解决方案的问题。
如何在 Google OR-Tools 中添加约束来限制（在作业车间问题的示例中）可以同时活动的作业数量？
在作业车间问题的示例中（https://developers.google.com/optimization/scheduling/job_shop），优化结果表明要优化的所有三个作业都是同时进行的
我在 CP 模型中遇到了特定的边缘情况。我所有的变量都是基于 int 的，但目标是基于 float 的。 在我的模型的大量使用中，这样做没有问题。但在一个具体的方面
如何使用ortools cp-sat将相同类型的任务尽可能的分配到任务包中？
在实验室中，可以将任务分配到任务包中，然后将任务包分配给实验室分析师。 通常我们想要： 最大限度地减少形成的包的数量 尽力把任务...
接下来两天我在车间有两项任务要计划。 车间里只有一名操作员，该操作员在这两天每天只能完成一项任务。 任务不同
在 minizinc 中，有一个内置排序函数可以对一维数组进行排序，该函数按元素的升序对元素进行排序。我该如何做相反的事情？我找不到与它直接相关的函数...
我正在尝试使用Python中的约束编程来制作自定义幻方求解器。为此，我使用 python-constraint (http://labix.org/python-constraint)。 对于这个问题，ma 的定义...
CP 优化器：从 minValue 0 的 cumul 函数中减去时间相关值
在 CP 模型（Laborie 等人 2018 的简化版本）中，我有一个 cumulFunction rUsage 指示随时间的材料需求，由当前区间变量的需求率 dmdR 导出： 德瓦尔
我最近开始使用 Minizinc 来解决这个简单的问题： 问题定义： 我有布尔变量的维度 H 和 W 的网格。唯一的限制是，如果变量为 false，则...
我有一个员工数据库，我让所有员工在第 1 天班次 1 不工作 在那个特定的日期和班次，我可以理解它应该是空值，但它会导致其他班次......
Z3-Solver 的“TransitiveClosure”功能是否有 bug？
这是使用 TransitiveClosure 的简单示例的代码。 从 z3 导入 * defcompute_transitive_closure（图）： num_nodes = len(图) # 创建 Z3 上下文 ctx = 上下文() #
我想用 minizinc 建模语言表达带有时间窗口的车辆路径问题（https://ir.cwi.nl/pub/2036），以便使用约束编程来解决它。 因为我是新...
在我的 CP 模型中我有一个状态函数 stateFunction f(a in aRange) 和 TransitionTimes[a] 默认情况下，f[a] 的值等于 -1，直到时间 0，例如 编号，值 1,逐步{ -1 -> 0; 1 -> 3； -...
是否有解决方法可以正确表达此模型： 使用CP； int fooSize[0..3]=[2,2,3,2]; dvar 间隔 foo[t in 0..3] 大小 fooSize[t]; dvar int bar[0..3] in 0..1； dexpr int stop = ...
我是约束编程的初学者，我在我的 c# 程序中使用 Google or-tools 库。 在我的问题中，节点属于区域，其特征是驶向...的最大车辆数量
[OR-Tools]使用 Python CP-SAT 求解器最小化任务“类型”
我正在使用 OR-Tools CP-SAT 求解器使用以下约束生成平衡分配： model.Add(sum(x[分配者_idx, 任务] * 任务[任务].task_idxs 中任务的成本) <= average_workload[
假设我有一个整数表达式 x。因此，如果我不应用任何约束，该整数的最小值和最大值将是 INT_MIN 和 INT_MAX。但假设我应用一个约束 a 使得 a
CP-SAT 求解器何时使用 CP-Solving，何时使用 SAT-Solving？
我成功地使用Google OR Tools解决了一个复杂的匹配问题。 不过我想知道求解器的实际工作原理。有没有任何公开文章或书籍可以解释 CP-SAT 所以...
我有一个问题，我有一组具有给定生产能力的仓库，可以以给定的成本将一些产品发送给客户列表。我正在努力最小化发送
我解决了同时放置工厂和仓库的问题。起初我使用标准 CPLEX 工具编写了一个程序，但后来我面临着重写这个程序的任务......