1回答
我正在尝试使用SCIP来解决SAT问题。我的公司使用Mobaxterm的Linux命令行。我已经安装了SCIPoptsuite 6.0.2。我在网上找不到任何关于如何打电话给SCIP来解决SAT问题的信息，包括英文和中文。我有很多cnf文件，我想调用SCIP来解决：enter image description here 有人能指导我怎么做吗？
浏览 15提问于2019-12-16得票数 1
回答已采纳
1回答
我想知道SCIP是如何处理SAT问题的。 在SCIP网站上，建议在读取cnf文件后，在SAT问题的命令行中键入'set emphasis cpsolver‘。然后，SCIP求解器将在键入'optimize‘后执行自己的操作。我在代码跟踪方面不是特别熟练，我想知道在输入'set emphasis cpsolver‘命令后SCIP求解器所采用的路径。此命令是否接受SAT问题
浏览 28提问于2020-01-02得票数 2
回答已采纳
我的问题是大SAT问题。在SCIP7.0.0中，有许多分支规则可供选择。如果我把一个问题发送给SCIP，SCIP解决了这个问题，那么在整个求解过程中，是否可以使用学习到的信息，比如切割面、冲突约束和可变分支历史，用不同的方法来解决相同的问题？例如，我发送一个包含45万个约束的7500个变量的SAT实例，并使用默认设置进行优化。是否可以使用
浏览 2提问于2020-05-14得票数 0
回答已采纳
1回答
我正在研究一个想法，它要求我为SAT问题生成切割平面。我使用的问题来自，qg5-10.cnf来自SAT编码的准组(或拉丁方)实例。set separating gomory freq 65534, set separating (other cutting pla
浏览 3提问于2021-12-23得票数 0
回答已采纳
1回答
原因是，我想跟踪代码，看看SCIP是如何处理SAT问题的，也许还会修改代码，以测试我所面临的SAT问题的新想法。在SCIP界面中，我看到 SCIP> 我在txt文件中读取它，它会提示我使用文件读取器。 然后我输入'cnf‘。 然后我设置了我的时间限制，并输入'optimize‘来运行代码。
浏览 22提问于2020-01-28得票数 0
1回答
我试图在Python中使用或-tools来求解具有多个最优解的混合整数线性规划。但是，NextSolution()总是返回False，因此我不能检索多个解决方案。我理解这个函数使用约束求解器工作，但是我想使用MILP求解器。相关的声明：
截至2020年-02-10，只有Gurobi和SCIP支持NextSolution()，有关如何为多个解决方案配置这些解决方案的示例，请参见linear_solver_interfaces_test我使用</
浏览 4提问于2020-08-06得票数 3
1回答
我想把一个预先解决的问题写进文件中。有什么办法吗？背景是，我正在研究SAT问题。SCIP的预解阶段减少了问题的约束和变量数，有效地减小了问题的规模。我想看看预先解决的问题，并将其与原来的问题进行比较，并提出一些看法。
浏览 5提问于2020-03-19得票数 1
回答已采纳
2回答
我正在使用Google的OR工具SCIP (解决约束整数程序)来使用Python解决混合整数规划问题。这个问题是标准调度问题的一个变体，其中限制每个工人每天最多工作一次，而每班只由一名工人负责。问题的模型如下：其中n代表工人，d代表一天，i代表给定一天中的特定班次。当我改变我想要最小化的目标函数时，问题就出现了。至：在第一种情况下，在5秒内找到一个最优解。如何在不
浏览 4提问于2021-06-16得票数 2
1回答
我的数据集由大型SAT实例组成。我正在尝试了解SCIP的默认设置如何选择要使用的分支规则。 我有一个包含7,295个变量和409834个约束的数据集。在设置了8h的时间限制、使用默认设置并将统计数据写入文件后，我看到SCIP调用了inference分支。但是，当我使用1040个变量和3668个约束的较小数据集再次尝试此操作时，SCIP调用了relpscost分支。 是否有一些文档或代码说明SCIP使用什么标准来选择分
浏览 20提问于2020-03-30得票数 1
回答已采纳
我正在努力解决最小化问题。我设定的约束是错误的还是代码是错误的？我对使用Ortools不太了解，但我写了以下几篇文章：
创建带有GLOP后端的线性求解器。
浏览 0提问于2020-12-11得票数 0
回答已采纳
1回答
或工具制定收入
、、、
我正在寻求关于如何在OR工具中解决一个问题的建议。 背景是，我是一个游戏所有者，在轮班时，我可以设置不同数量的游戏站点。为了最大化游戏速度，如果我有5个客户，最好的解决方案是有5个工作站，这样每个客户每个都有1个工作站。但这增加了运营成本。在这种情况下，我如何表示总游戏速度，其中涉及到客户到车站的均匀分布，并且游戏速度取决于车站的客户数量？
浏览 14提问于2021-09-21得票数 1
我们使用Java接口来访问指示器约束。考虑到二进制变量的数量很大，问题的解决阶段通常需要几个小时才能运行。proto接口使用MPModelRequest，其中包含模型和SolverType，然后传递给静态方法MPSolver.solveWithProto(mpModelRequest)。.setEnableInternalSolverOutput(true)
.setSolverType(MPModelRequest.SolverType.SCIP_MIXED_INTEGE
浏览 2提问于2022-01-11得票数 1
我通过Jni接口使用Java中的Scip解决程序。
SCIP_RETCODE SCIPincludeEventhdlrBasic ( SCI
浏览 3提问于2016-05-19得票数 0
我已经写了一个整数规划模型，并使用SCIP解决了它。我可以很容易地获得最优解，但我也对获得下四个最佳解决方案感兴趣。我可以输入display allsolutions来显示SCIP shell中的一些解决方案，但我最多对4个其他解决方案感兴趣，并且希望从c++程序而不是shell中执行此操作。我该怎么做呢？
浏览 1提问于2014-09-29得票数 1
我想用SCIP解决一个含有267个变量的混合整数二次规划问题。为什么会这样呢？CPLEX真的比SCIP更擅长MIQP吗？我没有正确配置SCIP吗？如何用<e
浏览 29提问于2022-11-16得票数 1
我试图使用以下命令编译SCIP：有人知道怎么处理这个问题吗？.make: *** [libs] Error 2
注意:我使用的是
浏览 3提问于2015-06-07得票数 1
回答已采纳
我正在学习Python中的约束编程，为了解决这些问题，我应该使用SCIP求解器。我已经安装了Numberjack标准包，从吉特罗布，包括米斯特拉尔，Mistral2，Toulbar2，MipWrapper，SatWrapper，MiniSat和Walksat解决程序。(SCIP)
我已经在'scipoptsuite-3.1.0‘和“scip-3.2.1”中运行了make，安装了Numberjack-master's 'setup.py’，并
浏览 3提问于2016-10-12得票数 1
回答已采纳
我有一个C++应用程序，可以使用不明显的CPLEX或硬币，现在我想添加SCIP作为选择。作为功能的一部分，它需要运行MIP问题的LP松弛。在CPLEX或硬币(这很简单)中，我只需创建问题，然后使用以下方法解决LP：
金币：m_modelIP.solver但是，我不确定用于解决问题(SCIPlpiSolvePrimal())的方法是否确实是正确的，或者如
浏览 12提问于2022-01-04得票数 0
回答已采纳
我按如下方式初始化了scip环境： SCIP* scip = nullptr;sol = SCIPgetBestSol(scip); 我试图通过sol和scip来释放内存，但是我遇到了分段错误。这会导致segfault： <
浏览 25提问于2019-12-16得票数 1
回答已采纳
云服务器
ICP备案
对象存储
即时通信 IM
云直播
腾讯云开发者
