how does AMPL number constraints?

[arr...@gmail.com]

Hi folks,  

         I solved a MIP and obtained the following infeasibility information. It said c800 and c802. How can I map the number to the constraints in my AMPL model? Is it even possible?  

Thanks,

Feng

Constraints 'c800' and 'c802' are inconsistent.

[Alessandro Oscar Gilardino Arias]

You should use the comand expand an the name of the constraint, if the name of your constraint is c, you should do the following:

ampl: expand c;

and look for the code of the line 800 and 802 generated by the constraint c.

Alessandro Gilardino Arias

Red Peruana de Ciclo de Vida

Departamento de Ingenieria

Pontificia Universidad Catolica del Peru

--
You received this message because you are subscribed to the Google Groups "AMPL Modeling Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ampl+uns...@googlegroups.com.
To post to this group, send email to am...@googlegroups.com.
Visit this group at https://groups.google.com/group/ampl.
For more options, visit https://groups.google.com/d/optout.

[Victor Zverovich]

You can print the name of the solver constraint n in AMPL with the command

  print _sconname[n];

HTH,

Victor

--

[Robert Fourer]

For a message from the solver, the numbers 800 and 802 refer to the numbering of the constraints as they were sent to the solver (after any reductions made by AMPL's presolve phase). To see the names of the constraints:

print _sconname[800]
print _sconname[802];

To see the constraints as they were sent to the solver:

solexpand _scon[800], _scon[802];

Bob Fourer
am...@googlegroups.com

///////

From: am...@googlegroups.com [mailto:am...@googlegroups.com] On Behalf Of arr...@gmail.com
Sent: Monday, April 25, 2016 3:18 PM
To: AMPL Modeling Language
Subject: [AMPL 11876] how does AMPL number constraints?

Hi folks,
I solved a MIP and obtained the following infeasibility information. It said c800 and c802. How can I map the number to the constraints in my AMPL model? Is it even possible?

Thanks,

Feng

=======

Constraints 'c800' and 'c802' are inconsistent.

=======

[arr...@gmail.com]

Thanks Victor! 

[arr...@gmail.com]

Hi Alessandro, 

            That's not what I meant. Thank you though!

Feng

[arr...@gmail.com]

Thanks! The solexpand works well!  

Feng