回答情况：
提问时间：
问题标签：
/Code/Notepad++/Java/Packages/Choco/choco source/choco3-master/choco-solver/src/main/java
/org/chocosolver/Code/Notepad++/Java/Packages/Choco/choco sou
浏览 35修改于2016-02-28得票数 0
回答已采纳
0回答
我正在尝试使用Choco 4.0.1对SAT公式进行建模。我读了，我试图从中理解，但不幸的是我到目前为止都失败了。这是我第一次研究这些类型的问题，也是巧克力。所以，我可能是在问一些非常明显的问题。
浏览 4提问于2017-01-09得票数 1
回答已采纳
1回答
我正在用Choco [4.0.1]编写一个带有课程、教师和时隙的时间表问题。同一个老师可以教很多课程，我需要确定他/她可以教的课程的数量。
浏览 3修改于2017-01-12得票数 1
1回答
我使用的是和网络上的几个例子，除了没有考虑到我的需要之外，还使用了旧版本。我有以下变量域：我需要创建一个约束，这样人们就不会连续几天被关联，而是以一种平衡的方式交替使用，比如：35 = 78955556 = 879142 = 78955522
浏览 2提问于2017-11-13得票数 1
回答已采纳
2回答
我发现了一款Choco作为约束编程软件，可以与一起使用。我想学得更多。我已经做了一些基本的例子。我使用的是Choco 2.1.5，我的矩阵如下：int m = 12; // time horizon in monthsint i, j; for (j = 0; j < m; j++){
x[i][j] = <
浏览 7修改于2016-02-29得票数 0
1回答
我第一次尝试使用Choco求解器(版本4.10.1)，但我不知道如何为求解器启用日志记录。我添加了slf4j-log4j12依赖项和一个log4j.properties文件。对于较旧的Choco (例如v3)版本，文档中提到了一些关于这方面的内容。例如，一些不再存在的Chatterbox类。
你知道如何为求解器启用一些日志记录吗？
浏览 12提问于2019-07-13得票数 0
回答已采纳
我在尝试通过Chocolatey安装pscx powershell模块时遇到此错误The install of pscx was NOT successful.
Error while running 'C:\Program
浏览 4修改于2020-03-14得票数 0
回答已采纳
choco upgrade --force -y --installarguments "/quiet REMOVE=DS" calibre移除桌面快捷方式的口径，但这个命令重新下载整个包这样做。
浏览 1提问于2019-01-04得票数 1
回答已采纳
1回答
我完全是一个巧克力解算器的初学者。我想做一个简单的排班表。我设置了整型变量，如下所示其中，0，1，...5是员工的引用ID。我的问题是，我如何设置一个约束，使每个雇主至少有5个班次。域中的每个值在所有30个变量中至少出现5次？
浏览 2提问于2016-08-09得票数 0
问题：
这种包装不安全。面包被压碎了，因为上面5的重量大于它的强度，4.交换苹果和面包，就可以安全地包装起来。我需要找到解决这个问题的所有解决方案，然后测试这个解决方案是否被列举：我尝试
浏览 3修改于2020-07-07得票数 0
回答已采纳
我的约束问题变得太复杂了，我想知道我用来建模和解决这个问题的Choco框架是否支持类似多线程的并行编程方法。我知道Choco中的ParallelPortfolio类，但这不是我想要的，因为我已经实现了一种自定义搜索策略，而这正是我想要使用多线程的策略。
浏览 2修改于2021-07-22得票数 0
我在Windows 8.1中使用带有Eclipse IDE的Choco 2.1.5CPModel m = new CPModel();RealVariable A = Choco.makeRealVar("a", -5.5, 5.5);RealVariable C = Choco
浏览 4修改于2016-02-29得票数 0
我正在尝试使用Powershell远程安装Chocolatey和Choco包。New-Object System.Net.WebClient).DownloadString('https://chocolatey.org/install.ps1'))
} 然后，当我尝试执行远程choco命令时，它返回了我确认在远程服务器上运行choco正常工作的The term 'choco' is not recognized as the name of a cmd
浏览 76提问于2020-09-03得票数 0
回答已采纳
我很幸运地得到了描述这个问题的方程式的答案，这个问题允许我在Choco中实现，而且它看起来工作得很好。
因此，我将要解释的是关于执行上一篇文章的答案的产品。所以我的问题是，在Choco中有一个名为sum的约束，您可以确保一组值的求和等于一个值，是否有一个可以定义这组值的积？如果没有，我该怎么做呢？
浏览 3修改于2017-05-23得票数 0
回答已采纳
我正在寻找一种方法来编码在巧克力解算器上的数学方程。我看到有一种对约束进行编码的方法，比如：但我正在尝试编码如下内容其中x和y是整型变量。
浏览 3提问于2016-02-29得票数 0
我在Java中使用巧克力解算器。如何获取域名的最大值？IntVar gisement_courant = model.intVar("Gisement courant", 5, 10);
浏览 7修改于2018-06-14得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号