アイログ
数理計画問題を解く最適化ソフトウェアである。