约束优化求解器SCOP

约束优化求解器SCOP(Solver for COnstraint Programming)

 

概要

SCOP是用于快速解决大规模约束最优化问题的求解器。这里指的约束最优化是一种补充传统的数理最优化的优化理论体系,采用了针对组合优化问题的求解原理(metaheuristics),对于数理最优化求解器求解困难的大规模组合优化问题也能有效地搜索到良好的可行解。

 

应用例

人员调度问题,广告时间段分配问题,宿舍分配问题,时间表编排问题,裁剪计划问题,投产顺序编排问题,生产调度问题,检查作业分配问题,其他各种组合优化问题。

 

特征

由日本著名的优化理论研究者开发的优化算法为基础开发。

对于人员调度问题,时间表编排等数理最优化求解器难以求解的类型的应用,也可以自然地进行建模。

可使用text版简易建模语言,python进行建模。

 

Python Interface Reference Manual

Python Interface Examples