问题标签 [choco]

我正在使用 choco 来解决 CSP，我的一个约束条件是一个变量的总和 Σ Xik = Σ Xkj for i=j=k=1…N。我该如何做到这一点？感谢您的帮助。

我想使用 Chocolatey 来管理我的 Windows 应用程序安装程序。但是，我的应用程序需要使用不同的参数多次安装。我想知道是否可以仅使用一个巧克力包来实现。如果是，升级和卸载将如何执行？如果没有，是否有针对此类任务的替代解决方案？

提前致谢。

我想使用巧克力在自定义位置安装 chrome，但我不知道该怎么做。

我知道我必须使用

但我找不到要传递的参数。这甚至可能吗？

我不想在默认目录中安装 chrome

C:\Program Files (x86)\Google\Chrome\Application

我正在尝试使用 Chocolatey 安装软件包，但我一直无法从 artifactory 获取软件包。

我确认my.package.1.0.0.nupkg在 URL 中可用：https ://www.myarti.com/artifactory/packages

工件需要'访问'例如下面，用户名“u1”和正确密码“pwd”可以访问，但“u2”没有访问repo的权限

我尝试了以下 choco 命令，但还没有运气。您的帮助将不胜感激！

1. choco upgrade my.package --version 1.0.0 --source= https://www.myarti.com/artifactory/packages --pre -u u1 -p pwd

给出未找到包含源列表错误的包

2. choco upgrade my.package --version 1.0.0 --source= https://www.myarti.com/artifactory/packages --pre -u u1 -p wrongpwd

给出[NuGet] 远程服务器返回错误：（403）禁止错误

3. choco upgrade my.package --version 1.0.0 --source= https://www.myarti.com/artifactory/packages --pre -u u2 -p wrongpwd

给出无效凭据指定错误

我想使用 Choco Solver 将 IntVar 的值用作约束中另一个 IntVar 数组的索引。

我有一个 IntVar，其中包含执行第 i 个任务的下一个任务，我还有另一个 IntVar，其中包含分配给任务的人员。我的限制是确保任务分配的连续性。

这是我已经尝试过的，但失败了：

我是第一次尝试 Choco 求解器（版本 4.10.1），但我不知道如何为求解器启用日志记录。我添加了 slf4j-log4j12 依赖和一个 log4j.properties 文件。

对于较旧的 Choco（例如 v3）版本，文档提到了一些关于此的内容。例如某些Chatterbox类，它不再存在。

任何想法如何为求解器启用一些日志记录？

我想在 windows 上使用 coursera-dl 包从 coursera 下载，
它不断给出该消息

所以我搜索了stackoverflow，发现这里
说我先安装openssl，然后安装python
，但它仍然给我那个错误。

我有一个 powershell 脚本，它使用 choco 安装一些软件。

vagrant 等软件需要重新启动系统并自行重新启动机器。

我怎样才能使这个过程完全自动化，因为如果需要重新启动，它会重新启动并自动登录并开始运行它停止的脚本，这一切都是独立的？

如果需要更多信息，请告诉我。

我是新来的巧克力。我在网上找到了一个示例，说明如何设置对象，如下所示

如果我的 coeffs 是双倍值怎么办？更具体地说，如果我的目标函数是 3.5X+4.2Y，我该如何设置目标？请帮忙。谢谢。

我正在使用 choco 求解器库来生成一组谜题。我需要运行求解器，检查有多少个解决方案，如果有多个，添加一个额外的约束。重复这将给我一组具有独特解决方案的约束（线索）。

但是，一旦我运行 model.getSolver(findAllSolutions()) 任何其他检查都会返回零解决方案。

我猜我需要以某种方式重置模型求解器，但找不到实现这一点的方法 - 如果必须，我宁愿不生成新模型并重新创建现有约束。

原始代码有 110 个 IntVar 和大量约束，但我创建了一个小得多的示例。

注意：在实际应用程序中，我使用 model.getSolver().findAllSolutions(new SolutionCounter(model,2)) 来加快速度，但我在这里省略了该步骤。