约束网络由三元组<X，C，D>定义，其中X是一组变量，C是一组约束，D是X的域（即从变量到值集的映射）。约束满足问题（CSP）是决定约束网络是否具有解决方案的问题。
作为OR-Tools库的新手，我无法为我的要求修改现有代码。我需要在收货和送货时增加容量限制，即一个人将送货......>
我正在编写一个Minizinc程序，用于安排工人去餐厅做日常工作。约束条件是每个工人每周只能连续工作五天，并且每天的最低工作量...
给出一个数字列表，找到所有矩阵，使得每一列和每一行的总和为264
假设我有16个数字的清单。使用这16个数字，我可以创建不同的4x4矩阵。我想找到所有4x4矩阵，其中列表中的每个元素都使用一次，并且...
我正在尝试使用CPSolver（而不是每个问题都使用MinCostFlow），对于小型数据集，性能似乎很慢。它比OR-Tools指南建议的要慢得多...
我需要使用约束编程在大矩形（命名为bin）中安排一组矩形。在使用CPLEX时，我发现了方形的示例（实际上，我是CPLEX和PPC的新手）。 ...
如何在约束规划中表达二次目标函数？在Cplex中，我将其编写如下：IloLQNumExpr objfn = model.lqNumExpr（），但在CP中则不同。
添加一个要求数字介于上限和下限之间的约束（ortools约束优化/ CP）
问题的重点：“关于如何在CP工具的ortools中最适当地编码此约束的任何想法？”我要解决的问题有点像员工安排此处概述的工作：...
我正在选一门使用minizinc的课程。在一项任务中，我一直在旋转轮子，因为我的模型在隐藏的测试用例上表现不佳。我终于解决了...
我正在使用choco求解器库生成一组拼图。我需要运行求解器，检查有多少个解决方案，如果有多个，则添加一个额外的约束。重复此...
每隔一段时间，我的构建时间就会从5s跃升到200左右。有时候，即使我同时获得了大约17个相同的数据，我也没有任何解决方案。是否可以停止...
我是Google OR-Tools的新手（通常是约束编程），我正试图在Jobshop示例中添加截止日期，但实际上没有用。可以在这里找到我所用的Job-shop示例：...
我知道我们可以在朱莉娅跳转使用CPLEX，对例如线性规划。但是，我们可以使用CPLEX在跳，朱莉娅V1.1用于约束编程？ CPLEX和OPL可以做约束编程，但...
我正在将目标模型转换为minizinc。在目标中，我有一个变量定义为X与索引域（k，i），其中i，s，t是设置的索引小时X的定义索引i，s，t是：sum（（s，t）| ...
我正在尝试在不同的机器上安排任务。这些机器具有动态可用资源，例如：机器1：最大容量4核心。在T = t1 =>可用CPU = 2核心;在T = t2 => ...
上下文：backjumping是对vanilla回溯的优化。它通过智能地跳回到导致失败的节点（而不是......）来减少搜索树的分支因子。
我是Python和约束编程的新手，我确信有一些非常简单/愚蠢的东西会引发错误。我正在努力减少相对于预测的项目盈余（...
无法理解如何向工作人员分配的openolver或minizinc表达现实世界的问题
我将开始，我不熟悉Minizinc，也不熟悉约束编程，我在youtube上看过excel“solver”教程，我可以理解，但我不知道我怎么能...
我正在使用护士安排示例。我有3名员工2班和7天我有一个条件，如果一名员工在第1班工作，他/她第二天不能在班次0工作。这是我的代码......
我在一个学习环境中通过C ++ API使用Gecode，并带有正面和负面的例子。在这个上下文中，我有两个BoolVarArray：positive_bags_和negative_bags_。我想做什么......
是否可以通过查看整个Scrabble游戏中玩的牌来推断出每个玩家所拥有的牌？
作为输入，每个玩家每回合使用的牌和每个玩家在游戏结束时留下的牌，无视交换所有牌的可能性，是......