Operations Research Stack Exchange is a question and answer site for operations research and analytics professionals, educators, and students. It only takes a minute to sign up.
Sign up to join this community
Are there any tools to transform programs written in an algebraic modeling language like GAMS,AMPL,... into a different formulation.
E.g. there is a quadratic constraint $\sum_j b_i b_j = N, b \in \mathbb{B}$ which can reformulated easily into several linear ones sacrificing readibility of the model. Most solvers automatically do such kind of reformulations.
Are there tools to only perform those kind of reformulations and examine the results ?
With SAS, for both automated linearization and automated conic transformation, you can use the EXPAND statement in PROC OPTMODEL to see the transformed model. The syntax is:
expand / linearize;
expand / conic;
For linearization, you can also save the linearized model to MPS format:
save mps mymps linearize;
Disclaimer: I work at SAS.
