问题标签 [gecode]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
c++ - 如何在gecode中打印变量的值
我正在尝试使用 gecode 求解线性方程 15 * x + y + 0.4*z == 100。我想打印 x,y,z 的值。但是，当我运行以下代码时，
我得到的输出为 [1..6] [10..85] [1..100]。但我期待一个有效的解决方案，如 1 83 5 分别作为 xyz 值的答案。有人能解释一下吗？
z3 - 约束求解器与 SMT 求解器
有人可以给我一些可以使用 SMT 求解器（如 microsoft z3）解决但不能由约束求解器（如 Gecode）解决的示例吗？约束求解器和 SMT 求解器的基本区别是什么？
z3 - Gecode 分支（）函数的 z3 替代方案？
在像 Gecode 这样的约束求解器中，我们可以借助分支函数来控制搜索空间的探索。例如，branch(home , x , INT_VAL_MIN )这将从变量 x 在其域中的最小可能值开始探索搜索空间并尝试找到解决方案。（有很多这样的替代方案。）
对于 z3，我们是否具有这种内置的灵活性？有没有可能的替代方案？？
z3 - 输入顺序对约束求解器性能的影响
输入（布尔和算术方程）顺序对 Gecode 等约束求解器和 Microsoft Z3 等 SMT 求解器是否重要？如果是，如果我可以利用 Gecode 中的分支功能利用一些已知的启发式方法，这两者中的哪一个会表现得更好？
（注：我不知道Gecode中类似branch()的函数是否存在于Z3中）
c++ - 为什么这个简单的 Gecode 示例无法编译？
我正在努力学习，并试图让此处gecode找到的示例起作用。
我最终得到以下编译错误。
和
我不明白这些是从哪里来的。IntVarArray 当然有一个更新函数，它的第一个参数是一个 Space 对象，而 SendMoreMoney 继承自 Space 那么问题是什么？这段代码是我发现的示例中的逐字记录，所以它应该可以按原样工作。
minizinc - 错误：Gecode：Float::linear：数量超出限制
我正在 Minizinc 2.5.3（最新版本）和 Gecode 6.3.0 上构建一个简单的模型，以尝试组织武器生产操作。运行代码时，出现如下错误：
我一直在阅读有关使用 Gecode 浮动变量的一些限制，但我不知道问题出在求解器还是我的代码（附加）。我尝试将所有变量更改为整数变量，但资源要求是浮点参数。我也尝试过更改求解器，但没有一个起作用（没有可用的 MIP 求解器）。
我正在使用以下数据文件：
solver - MiniZinc int 超出范围
我正在尝试在 MiniZinc 中创建一个可以确定线和点之间距离的函数。我希望函数只使用整数。我的想法如下：在点不垂直线的情况下，应该选择最近的点。如果该点垂直于线，我想近似该点，然后计算到近似点的距离。
但是，当我实现这一点时，我不断收到类似以下 Gecode 和其他求解器的错误：
为什么当它们远不接近最大整数值时，它会说 int 超出范围？
我的代码：