约束网络由三元组<X，C，D>定义，其中X是一组变量，C是一组约束，D是X的域（即从变量到值集的映射）。约束满足问题（CSP）是决定约束网络是否具有解决方案的问题。
我是约束编程的初学者，我在我的 c# 程序中使用谷歌或工具库。 我想向我的求解器添加以下约束： ((t1 >= 12 && t1 <= 15) || (t2 >= 16 ...
除了在 CP-SAT 中创建一组互补的域外，还有什么方法可以为 AddLinearExpressionInDomain 添加“Not”约束吗？
x 是下限和上限为 0 和 20 的变量。 x_is_in_the_defined_domain 是一个 bool 变量，指示其名称所表达的内容。 defined_domain 是 [1, 3], [5, 7]。 我们可以链接 x 和
Google OR-Tools，访问求解器尝试的变量值。变量的动态系数
我正在使用谷歌或工具来找到最大收入的支出分配。在下面的例子中，（比如）周一、周二是周一周二支出分配的变量。 成为...
OR-Tools 员工排班：仅当员工在第一班工作时才连续轮班
我一直坐着或坐着工具轮班安排 https://github.com/google/or-tools/blob/master/examples/dotnet/ShiftSchedulingSat.cs 目前，一名员工最多可以连续工作 3 次...
我有一个线性模型可以正常工作，但我想减少大量的解决时间。一种方法是我将其转换为约束规划。 假设我有一个特定的...
AddMaxEquality 是否与 CP-SAT 求解器中的 OnlyEnforceIf 不兼容
当我们想在模型公式中结合 AddMaxEquality 和 OnlyEnforceIf 时，我们始终得到 cp_model.MODEL_INVALID。 这两个还不兼容吗？如果不是，是...
修改 Python N-Queen 程序以显示所有可能的解决方案，而不仅仅是一个
我找到了一个使用约束模块创建 N-Queen 问题求解器的代码。我的目标是让它显示所有可能的解决方案，而不是目前只显示一个。我问...
我试图使用gecode解决线性方程15 * x + y + 0.4*z == 100。我想打印x,y,z的值。但是，当我运行下面的代码时，class LinearEq1 : public Space { protected: ...
如何在MiniZinc中安装Google的CP求解器OR-Tools？
我目前正在使用MiniZinc，我一直在用MiniZinc中集成的两个求解器运行我的模型：Gecode和Chuffed。我一直在IDE中运行它，但我意识到，它可以是 ...
我想生成一个20x38的二进制矩阵 基于一些约束条件，我有使用dpcplex模型。矩阵的一些单元格预先定义如下(行,列,参数): [(8,3,0),(14,0,0),(14,2,0),(...)
我如何在CP-SAT公式中指定目标（在python中）为所有决策变量值的最大值的最小化？
我试图实现一个简单的CP-SAT，目标是最小化所有决策变量的最大值。我可以最小化任何单个变量或线性函数的...
我有一个关于MaxSat的想法，并且已经用MSU3实现了一个天真的Maxsat求解器，同时用minisat APIs实现了顺序编码，我想知道是否有办法加快这个求解器的速度。I ...
OR-Tools Python - AddNoOverlap2D不工作 - 库存切割问题。
试图从一个大矩形中切割出一组矩形。程序运行得很好，但它没有遵守AddNoOverlap2D约束。程序输出0，0 -> 2，2 0，0 -> 1，3 ...
在像Gecode这样的约束求解器中，我们可以借助于分支函数来控制搜索空间的探索，例如 branch(home , x , INT_VAL_MIN ) 这将开始探索搜索空间。
我用python的ortools优化库建立了一个工作车间调度算法 问题是当我用设置时间建立一个灵活的工作车间模型时，它不工作，我认为它是... ...
输入（布尔和算术方程）的顺序对约束求解器（如Gecode）和SMT求解器（如microsoft Z3）是否重要？如果是，这两个软件中哪一个的性能更好，只要......。
我看到ORTools和CpOptimizer都使用全局约束。我知道它可以大大加快搜索速度，但是实际上可以做什么？就像我使用下面的（1）或（2）有什么区别； ...
有人可以给我提供一些示例，这些示例可以使用SMT求解器（如microsoft z3）解决，但不能由约束求解器（如Gecode）解决？约束...
我正在努力了解clp（Z）与MiniKanren中使用的另一种关系运算系统之间的功能差异。特别地，clp（Z）显然适用于有界字段...
ABC是在5x5的木板上的逻辑难题。在每一行和每一列中，必须正好有3个字母（A，B，C）和2个空单元格。另外，对于每一行和每一列，都有关于哪个信息的信息...