约束网络由三元组<X，C，D>定义，其中X是一组变量，C是一组约束，D是X的域（即从变量到值集的映射）。约束满足问题（CSP）是决定约束网络是否具有解决方案的问题。
我用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个空单元格。另外，对于每一行和每一列，都有关于哪个信息的信息...
我知道上述两种算法都在迭代解下，以找到针对MAXSAT问题的最佳方案，但我想知道为什么从满意的角度出发，同时为...找到解，这是为什么？] >>
如何使用Eclipse IDE使OPL适应Java API并使用OPL代码
我正在尝试使用Eclipse IDE中的Java API修改OPL公式。原始OPL代码的提取如下：使用CP； int nbJobs = ...; int nbMchs ...
我被问到一个问题，我应该在哪里创建一组团队，只是有一个简单的约束，即有两个必须要在一起但不应该在一起的两个数组。我是新来的...
约束编程中是否有任何传播方法-GoogleORTools之类的CPLEX-CP解算器？
我只想在Constraint Programming-Google OR Tools中传播连接，不从Constraint Programming中寻找最终解决方案，但是我无法在Google OR Tools中找到这种方法。 ...
我正在尝试使用Minizinc中的热启动注释为模型提供已知的次优解决方案。我首先尝试从Minizinc文档（...
minisat中是否有任何API调用来提取unsat核心或相同的其他任何方法。我想为求解器的每次调用都提取unsat核心，然后在unsat核心上工作。
Minizinc错误：无效的类型输入：预期的'float'，实际的'var float'
我有以下Minizinc程序，正在努力解决旅行商问题（TSP）。我知道它不仅会解决此错误，而且我会...
[我正在研究Google的Cp-SAT，以建模特定类型的约束，如下所示：约束：变量X可以假定值为1、2和3变量Y可以假定值为2、3和4 ...
我正在尝试了解MiniZincs的Geost约束，在文档的打包约束部分中对此进行了描述。我正在尝试通过旋转实现矩形的2D压缩：所以我想...
我知道给定N个工具中最多k个，我可以通过将其更改为N个中最多（nk）个来获得N中的至少K个。是真的。我可能会丢失...
我正在尝试定义一个约束，该约束将限制求解器生成的唯一值的数量。它可以生成尽可能多的副本来解决问题，但是存在限制...
我有一个具有4个特征（名称，价值，成本，人员）的项目表。我想在Minizinc中描述一个模型，该模型选择最大化总价值但总预算为255的项目...
我是CP Optimizer的新学员。我想在CP中进行电池充电/放电调度。因此，我想知道如何在每个9月进行充电或放电。使用CP； int numEVs = ...;范围EVs = ...