www.gams.com

      Explicit
(General Algebraic Modeling System) High-level modeling language for mathematical programming problems and a popular tool for solving CGE-models. Documentation and examples.