casual-opt / casual-opt.github.io

website
0 stars 0 forks source link

ソルバー情報 #4

Open ohtaman opened 1 year ago

ohtaman commented 1 year ago

ここに、ソルバー周りの情報(リンク)を貼ってください

shunji-umetani commented 1 year ago

Decision Tree for Optimization Software Hans D. Mittlemannによる数理最適化のテストデータやソフトウェアの網羅的なリンク集. Visualizations of Mittelmann benchmarks Hans D. Mittlemannによる数理最適化ソルバーのベンチマーク. COIN-OR オペレーションズ・リサーチに関連するオープンソースのプロジェクト. NEOS Server 数理最適化ソルバーのオンラインサービス. SCIP 非商用の混合整数線形・非線形計画ソルバー. OR-Tools GoogleのORチームによる数理最適化のツール. LKH-3 Keld Helsgaunによる巡回セールスマン問題および配送計画問題に対するLin-Kernighan法の実装および拡張. Concorde William Cookによる巡回セールスマン問題に対する厳密解法および発見的解法のライブラリ. CVXOPT 凸計画問題に対するPythonライブラリ. GLPK オープンソースの線形計画ソルバー. GUSEK GLPKの統合開発環境(IDE). Pyomo 最適化問題に対するモデリングのPythonライブラリ. PuLP 混合整数計画問題に対するモデリングのPythonライブラリ. Python-MIP 混合整数計画問題に対するモデリングのPythonライブラリ. jMetal 多目的最適化問題に対するメタヒューリスティクスのJavaライブラリ. jMetalPy jMetalのPython版ライブラリ. PlatEMO 多目的最適化問題に対する進化計算のライブラリ. JuMP Julia用の数理最適化モデリング言語. OptaPlanner 制約充足ソルバー. MiniZinc 制約充足ソルバー. HiGHS 非商用の線形計画,混合整数計画,2次計画ソルバー. PRINTEMPS 整数計画問題に対するタブー探索に基づくソルバー.

shunji-umetani commented 1 year ago

A Library of Heuristics for the Vehicle Routing Problem 配送計画問題に対するヒューリスティクス AMPL Community Edition 数理最適化モデラーAMPLの無償版,有償ソルバーの試用版も利用できます. GUSEK (GLPK Under Scite Extended Kit) GLPK(GNU Linear Programming Kit)のGUI拡張.学生演習にはちょうど良さそう.

ohtaman commented 1 year ago

@sfujiwara がHPに反映してくれるかも