问题标签 [choco]

我正在使用choco solver 4.0.5（到现在为止的最新版本）和网络上的几个示例，除了没有考虑到我的需要之外，还使用旧版本。
我绝对是 choco solver 的初学者，在网络上进行了非常艰苦的搜索之后，我来到这里寻求帮助。

我有以下变量域：
一年中的天数： 1（表示 1 月 1 日）、35（表示 2 月 4 日）、58、56、125、142、168、225、360、364 ...... 人员 ID： 789111， 789555、78496、879...

我需要创建一个约束，以便人们不会连续几天关联，而是以平衡的方式交替它们，例如：

我如何在 choco solver 4.0.5 上表示这个？
谢谢你们！！

我想使用Choco 求解器编写一个 Java 程序来生成满足许多约束的数学问题。问题必须采取以下形式：

在哪里：

• x, y&z是正整数，不一定彼此不同，其中一个为 2 位长，另外两个为 1 位长

• @&∆</code> are operators +, - or * (note that both can also stand for the same operator)

• ‎<code>r是一个正的 1 位整数

我想“按需”生成这些数学问题（如一次），它们需要随机化（即，生成的问题不应该没有模式或固定顺序）。

自从我完成约束（满足）编程以来已经有 10 多年了，但我相信 C(S)P（最好通过 Choco）是一个适合在这里应用的工具。这是正确的，有人可以帮助我开始吗？

在 Choco Solver 中，在找到解决方案可能需要很长时间的情况下，如何获得最接近的解决方案（迄今为止满足最多约束但可能不满足所有约束的解决方案）？

例如，如果我正在运行 Model.getSolver().solve() 以获得解决方案，并且我已经决定尽管没有找到解决方案但它需要足够长的时间，那么我如何输出迄今为止最接近的解决方案？

我找到了用 choco 求解器求解幻方程序的代码：

但是“问题”类似乎已被“模型”类取代。使用 Model.intVar 而不是 Problem.makeEnumIntVar 是否正确？替换 Problem.neq、Problem.eq 和 Problem.scalar 的当前函数是什么？

嗨，我正在尝试使用 choco 安装流星

我知道它将安装在C:\Users\yourUserName\AppData\Local\.meteor\.

有没有办法直接安装到不同的文件夹。或者一旦安装好移动到不同的文件夹？

提前致谢 ！

我想写一个自动生成室内环境的程序。为此，我考虑了将问题表述为CSP的想法，其中变量为：

• x_o,y_o：物体o在环境中的位置

• theta_o：对象o的方向

域是：

• x 和 y 的某个范围 [a,b]（即 2D 网格的尺寸）

• [0,90,180,270] 度的方向。

为了解决这个问题，我在 Eclipse 4.7.1a 中使用了Choco 。

我的问题如下：

我想表达一个约束，例如：对象 a在对象 b的前面。

由于对象有一个方向，我认为表达这种约束的一种可能方法是：

• x_b == x_a + cos(theta_a) && y_b == y_a + sin(theta_a)

从这个资源中，我发现 Choco 使用Ibex来解决实际限制。我按照安装说明将共享库添加到java.library.path. 为了定义一个真正的约束，我遵循了这个文档，但是当我运行这段代码时：

这是我得到的错误：

我发现这是一个常见问题：

无法写入核心转储。核心转储已被禁用

但我在网上找到的答案都没有解决我的问题。

所以，如果有人能指出我的解决方案，我会很高兴！！！

谢谢。

我不确定这个问题说明了什么。请帮我解决这个问题..在此先感谢..

因此，在运行可执行文件时，您知道如何检查一堆参数（例如包含桌面图标），如何获取可执行文件的可用组件列表，以便将这些组件从命令行？我研究并遇到了静默参数，您可以在命令末尾附加 /components 来执行此操作：

进一步说明：我的最终目标是使用 Chocolatey 将包安装到机器上，但是，默认值并不总是选择我们需要的属性，我想创建带有可执行文件的自定义 choco 包并将适当的参数传递给 choco install MYPACKAGE。

任何其他建议表示赞赏！

我发布了一个标量约束，我希望能够在我得到解决方案时打印出它的结果。所以我想以某种方式将它缓存在IntVar中……</p>

我用旧的 Choco 语法找到了一个旧的答案，但我无法让它与现代 Choco 一起工作：

也许这不是我想要的，因为y可能只是一个int常量而不是IntVar ...</p>

无论如何，你知道这样做的方法吗？目前，当我得到解决方案时，我可以从值中重新计算标量，但我计划根据这些标量的平均值添加一个最小化目标……</p>

我试图通过将标量分解为几个变量来解决这个问题，但现在我得到了零解决方案：

我究竟做错了什么？谢谢你的帮助！

我正在使用 choco 求解器来解决我的约束问题。在像 model.ifThen 这样的条件之后，Choco 是否可以增加 IntVar？