COIN-OR

CBC

CBC(COIN-OR beanch and cut)是一套以C++ 写的开放源码混合整数规划求解软件。
可独立执行或作为程式库(由AMPL[原生支援], GAMS[利用 COIN-OR 最佳化服务(Optimization Services, OS)以及 GAMSlinks 专案],
MPL[借由CoinMP 专案], AIMMS[借由AIMMSlinks 专案], 或 PuLP 呼叫使用)

SYMPHONY

SYMPHONY(单工或多工最佳化网络求解)是一套在异质网络上求解混合整数规划(MIPs)，
开放源码之分枝切面法(branch and cut)框架-并且可以使用CLP, CPLEX, XPRESS 或其他线性规划求解软件求解线性问题。
SYMPHONY 是一套同时实作循序(sequential)及平行(parallel)处理分枝切面与定价(branch, cut, and price)以求解MILPs 的程式库。
分枝切面与定价法类似分支界限法(branch and bound)，但还包括切面法(Cutting-plane methods)与定价(pricing)算法。
借由提供特定的副程式以读取自订资料档、生成特定切割平面或应用自订分枝规则，使用者可以任意自订客制化的分枝与切面算法。
算法大部分的元件，如搜寻树管理、线性规划方案管理、切割池(cut pool)管理、通讯管理都含在程式库内，使用者无须操心。
执行程式可以有各种配置方式，从循序执行到有独立的切割产生器(cur generators)、切割池与线性规划求解之完全平行处理。
目前分散式版本可在任何PVM 支援的环境执行。相同的程式码也可用任何OpenMP 相容的编译器编译为共享内存架构。

PuLP

PuLP 是一套以Python 写的线性规划建模软件。可以产生MPS 或 LP 档案并呼叫GLPK, CLP/CBC, CPLEX 以及 Gurobi 求解。