约束网络由三元组<X，C，D>定义，其中X是一组变量，C是一组约束，D是X的域（即从变量到值集的映射）。约束满足问题（CSP）是决定约束网络是否具有解决方案的问题。
我运行代码，结果对于所有决策变量始终“无值”。在冲突选项卡中，它显示：“ct20#1#10#4，ct21#1#10#4，ct22#1#10#4)”，但我卡住了，不知道...
我一直在尝试捕捉作业车间模型的一些库存限制。 CP-SAT中有没有内置的方法来解决车间的库存问题？ 库存问题陈述...
我的问题设置相当简单。我想在模型找到具有已定义约束的 x 和 y 后，向决策变量 x 和 y 添加 const 值。但我想添加 const 值...
CP-Sat 中的 NumConflicts 的确切含义是什么？
我想知道solver.Response.NumConflicts信息的确切含义是什么。 在文档中我发现了类似的陈述 返回自求解器创建以来的冲突数。 （https://
我正在努力弄清楚如何利用 Google OR Tools CP-SAT 求解器找到护士调度问题的可行解决方案，并稍加修改：每个轮班仅限于 ...
我想知道是否有办法动态增加 on_solution_callback(self) 方法中变量的下限？ 这只是我想到的一种方法。 我有一系列
是否有任何约束求解器可以理解潜在无界浮点数的求幂。实数？ 鉴于这个简单的程序， 变量浮动：x； 约束 x^x = 27； 解决满足； ...
我是 CPLEX 的新手，我正在使用 CP 做一个项目。 我有一个多列表 A，它有 4 个参数：一个操作 o、一个外科医生 s、一个房间 r 和一个时间 t A[o,s,r,t] == 1 当且仅当操作...
我已经尝试使用 SMT-LIB 为我的问题建模一周了，但发现弄清楚如何使用我的逻辑确实很麻烦。 (声明-const w1 Int) (声明-const w2 Int) （声明-co...
在 google 的 OR-Tools CP-SAT 中使用 python 创建自定义约束
我刚刚开始学习约束编程，所以如果我的问题可能非常琐碎，请原谅。 主要动机是优化我已经通过暴力解决的问题......
cp_sat 求解器中的 AddBoolOr 和 AddImplication
嗨，我很难理解以下代码，有人可以帮忙解释一下吗？提前致谢！ model.AddBoolOr(x, y.Not(), b) model.AddImplication(b, x) model.AddImplication(b, y)
各位，我正在尝试实现光线追踪算法来检查点是否位于多边形内。我得到了这个 python 代码，我正在尝试在 CP-SAT 中实现以下部分 int pnpoly(int n...
有没有办法像Alloy中的Int那样声明自然数？ 目前我有 util/integer，如果我运行 run 6 Int 我得到： 整数={-32, -31, -30, -29, -28, -27, -26, -25, -24, -23, -22, -21, -...
这是我第一次使用Picat。我试图写一个基本的背包问题。然而，当运行时，解决方案似乎没有选择任何项目，即使我（认为我）已经要求它最大化......
在 ortools 中，如果你只有 0-1 个变量，你可以使用 CP-SAT 来自 从 ortools.sat.python 导入 cp_model 或者你可以使用 从 ortools.linear_solver 导入 pywraplp 求解器 = pywraplp.Solver.
我一直在练习使用 python 约束库来解决逻辑难题。我发现与它一起工作是一种绝对的乐趣，但我被困在一个相对简单的难题上。 我能解决
我有一个简单的问题，但我找不到解决方法。例如，考虑以下来自 OPL 中使用 CP Optimizer 求解器的调度问题的 .mod 文件。 使用CP； int nbJ...
我正在尝试优化广告预算计划。广告预算方案由2个产品组成，每个产品有不同时长的广告。优化器应该实现两个目标：
Python 谷歌或工具 CP。更新约束以防止多个作业同时运行
我们正在运行下面的代码。它目前导致每项工作都有其最佳的 makespan，但它们是同时跨机器运行的。我们正在寻找尝试添加约束或...
我是 Minizinc 的新手，我在处理这个问题时遇到了麻烦： 问题是说有一组 DC(Degree courses)，每个 DC 都有一个类型（可以是 C 或 A），一个学分值 ...