问题标签 [choco]

在 Windows 上，我有一个代理设置计算机级别（netsh winhttp 显示代理）和用户网络级别设置 > 网络 > 代理。

代理几乎否认一切。运行时被 choco 选中：

我知道该实例可以在没有代理的情况下访问 Internet。我在这台机器上有管理员访问权限。我想在 choco 运行时根本不使用代理。

我尝试使用代理绕过选项：

但我得到相同的 403。该正则表达式列表是否使用另一种格式？

我查看了文档，但找不到更多内容：https ://docs.chocolatey.org/en-us/guides/usage/proxy-settings-for-chocolatey

在某些情况下，求解器无法为我的模型找到解决方案，我认为它就在那里。所以我想填充一个解决方案，然后检查违反了哪个约束。如何用 choco-solver 做到这一点？

使用 choco-solver 4.10.6。

我是 choco 和 CSP 概念的新手，我在这个问题上挣扎了很多天，却没有接近解决它，有人可以帮助我吗？

这是一个援助中心的时间表，包括 03 种活动，A = {Day, Night, Weekend} 为 04 人，P = {james, caroline, michel, davis}。P 的一个人必须至少执行 A 的一项活动。每周的活动按照以下规则进行：至少一个人必须在夜间工作，最多两个人。至少一个人必须在 Day 工作，最多两个人。最多两个人可以做周末。詹姆斯对白天和黑夜感兴趣，卡罗琳想在周末和白天工作，米歇尔，他对黑夜和周末感兴趣；戴维斯没有偏好。

我必须在 2021 年 2 月 4 日星期五结束前发送 CSP 模型和 choco 求解器代码，请任何人帮忙？？

我的约束问题变得太复杂了，我想知道我用来建模和解决问题的 Choco-Solver 框架是否支持像多线程这样的并行编程方法。

最初，我认为默认情况下会发生这种情况，但是在运行时检查 CPU 使用率top -i显示它始终在 100% 左右，所以我假设并行化没有发生。

我知道 Choco 中的 ParallelPortfolio 类，但这不是我想要的，因为我已经实现了自定义搜索策略，而且我想在它上面使用多线程。

choco 中是否有一个函数可以检索模型中未满足的约束列表？

我使用 choco 求解器 2.1.5 版，我想体验一下以最小化我的变量总和。我怎么能这样做？

我正在学习使用Choco-solver。我发现它无法找到一个非常简单的问题的解决方案，这意味着我一定误解了一些东西......

我将我的代码简化为：

所以，三个整数变量和一个约束说z = x + 2y. Choco-solver 回应Complete search - No solution。

y.mul(2)如果我将约束的内部部分从y.mul(1)(x = 1, y = 1, z = 2) 或y.add(2)(x = 1, y = 1, z = 4)更改，我发现我得到了正确的解决方案。我什至可以将其设置为y.mul(-2)(x = 1 y = 9 z = -17)，但如果我使用mul大于 1 的整数，则约束似乎无法解决。

这里发生了什么？

我正在研究 CSP 中的解释，并尝试同时学习 Choco。求解器或任何类型的教程是否提供任何解释示例？官方文档位于： https ://choco-solver.org/docs/advanced-usages/explanations/ 只说使用solver.setLearningSignedClauses()作为API，但没有解释如何使用它。我试图在我的代码中添加这一行（会议问题），但它没有产生任何效果：

你能否给我一个关于如何在 choco 中使用解释的例子，或者说我下面的代码缺少什么？

作为我研究的一部分，我必须深入掌握巧克力。我有两个选择与 choco 求解器有关。我想创建一个自定义搜索策略，它将干预值和变量的顺序。还是直接干预Choco的搜索树，如何管理搜索树，如何修改？欢迎任何帮助、示例或资源，即使它是另一个求解器的示例。谢谢

我很难理解model.scalar方法在 choco 库中的作用

假设我们有一个简单的有界背包问题...给定一个物品清单，其中每个物品都有重量和利润，

选择要装载到卡车上的物品，其中卡车的总重量有限制，并且

• 至少达到最低利润

• 或获得最大可能利润的地方

谁能解释一下标量函数在这里实际上在做什么？