GAMS. The General Algebraic Modeling System (GAMS) is a high‐level modeling system for mathematical programming and optimization. It consists of a language compiler and a stable of integrated high performance solvers. GAMS is tailored for complex, large scale modeling applications and allows you to build large maintainable models that can be adapted quickly to new situations.

Gurobi Optimization provides robust, high-performance optimization software based upon the latest technologies for linear, quadratic and mixed-integer programming. Gurobi is dedicated to advancing the state-of-the-art in optimization, and we’ve done it again with our latest release - Gurobi Optimizer 4.0. Building on proven LP and MIP solvers, Version 4.0 includes QP and Mixed Integer QP. And just being fast is not enough. Our pricing is clear and upfront: you know your costs for development and deployment when you start. We provide access through more partners and alternative interfaces than any other solver. And the highly motivated Gurobi support team is made up of PhD's in optimization that are ready to assist you with any technical questions you may have. We look forward to helping you achieve the greatest success in your optimization applications.

IBM ILOG Optimization & Analytical Decision Support Solutions provide proven and rapid ROI by helping businesses create the best possible plans, explore alternatives, understand trade‐offs, and respond to changes in business environment. They leverage the investments you are making in enterprise information technology and business process automation. The gold standard in optimization software, technology and solutions, IBM ILOG Optimization is used by over 50% of the world's largest companies, 1000’s of Universities, and 1000's of application providers.