2
$\begingroup$

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 ?

$\endgroup$

1 Answer 1

2
$\begingroup$

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.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy