WITNESS			CHIP
	物・情報の流れを時間の経過を追ってシミュレーションを行い様々なプロセスの最適化を可能にする生産・物流・ビジネスプロセスシミュレーションツールです。豊富な導入実績を持ち、設備投資コストやオペレーションコスト削減に役立ちます。			CHIPは仏COSYTEC社が開発した制約論理プログラミング言語です。 CHIPを用いれば、これまでLPやAIツール等で解決が困難であった複雑な問題を短期間で解くことが可能です。

LVision			Gate Solutions
	工場・倉庫の在庫・部品置き場のレイアウトを自動的に作成。最適レイアウトの作成、構内物流作業効率の改善等を支援。			スポット等空港施設最適スケジュールシステムです。

Staff Solutions			TAAM Solutions
	個人の資格と経験を考慮した空港職員最適配置システムです。			空港面から空域、航空路運用効率をトータルに評価できる、世界で唯一の空港・空域用設計・評価システムです。

FLEXSCHE			Gurobi Optimizer
	FLEXSCHEは、業種・工場・工程に応じたスケジュール策定が可能な柔軟性と、使いやすさを兼ね備えた生産スケジューラです。標準的なスケジューリングで簡単に使えるだけでなく、特殊な状況にも対応可能です。			Gurobi Optimizerは、数理最適化（線形計画法／整数計画法）の最新技術を取り入れた、最高性能の線形／整数計画ソルバーです。数理最適化においてだけではなく、マルチコアプロセッサーへも対応など、最新のハードウェア性能を充分に発揮できるように設計されています。

AIMMS			AMPL
	最適化アプリケーションおよびプランニングアプリケーション構築のための、応用開発モデリングツールです。 Gurobi Optimizerとのコラボレーションにより、最強のモデリング環境を実現します。			AMPLは、離散および連続変数における線形（LP）および非線形最適化問題(NLP)のための包括的でパワフルな代数モデリング言語です。 Gurobi Optimizerとのコラボレーションにより、最強のモデリング環境を実現します。