上海化学工业区1.2.0_SCIP 1.2.0下载地址

解决约束整数规划

上海化学工业区，是目前速度最快的非商业混合整数规划求解。这也是一个约束整数规划和框架，分支和价格。它允许总的胆量的求解器解决方案的过程控制和访问的详细信息。

给上海化学工业区一试看看它是如何帮助你解决整数规划问题。

下面是一些主要特点的神器出山:www.shenqi73.com“上海化学工业区”：

·这是一个分支，切割，定价和传播的框架。

它具有高度的灵活性通过多种可能的用户插件：
·约束处理程序来实现任意的限制，
·可变定价器动态地创建有问题的变量，
·域传播者申请约束的独立变量的域的传播，
·切分离器适用于切割平面上的LP松弛，
·relaxators提供松弛和双边界在除了到LP松弛，
·原始的启发式探测和潜水的具体支持，寻找可行的解决方案，
·节点选择器来引导搜索，
·分支规则拆分为子问题，
·presolvers简化解决的问题，
·文件阅读器来解析不同的输入文件格式，
事件处理程序上一个节点得到解决后，具体的事件，例如，被告知，一个特定的变量改变它的边界，或一个新的原始解决方案，
·显示处理程序来创建额外的列解算器的输出。
·对话框处理程序扩展的命令shell。

·每个现有设备实施作为一个插件，导致具有足够的灵活性，以满足的多数其他用户扩展的接口。
·动态切分池管理。
·用户可以在表达式中混合预处理，积极的问题变量：它们会自动转换为相应的活动问题变量。
·任意多个孩子，每个节点可以被创建，并且可以任意定义不同的孩子。

它有一个开放的LP求解器的支持。目前，它支持：
·CPLEX
·Gurobi
·的Xpress-MP
·MOSEK
·SoPlex
·QSopt
·CLP。

·LP松弛不必在每一个节点（它甚至可以被完全关闭，mimicing一个纯粹的约束规划求解）要解决的。
·额外的放宽（例如，半定松弛或拉格朗日松弛），可以包含平行或交错工作。
·冲突分析可以应用到学习从不可行子。
·动态内存管理，减少了操作的系统调用在调试模式下的自动内存泄漏检测。