www.gams.com

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