[Scip] question about "vif"

[Ambros Gleixner]

Hi,

I assume you are talking about the "vif" of Zimpl.  By default, Zimpl 
reformulates vif's via a big-M formulation.  If the attribute 
"indicator" is specified for the corresponding constraint, then it may 
also result in an indicator constraint.

If you are reading a zpl file directly into the SCIP interactive shell, 
you can see the result by typing "display problem"; if you use the 
callable library, try SCIPwriteOrigProblem(scip, "prob.cip", NULL, FALSE).

Cheers,

ambros


On 11.03.2014 05:51, Zhanibek Datbayev wrote:
> Hello SCIP folks,
>
> I was just curious which approach SCIP uses to translate "vif"
> statements into linear constraints? Documentation mentions that it will
> generate additional constraints and variables, but where can I get some
> more details about it?
>
> Thanks!
>
> -Z
>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip
>

-- 
____________________________________________________________
Ambros M. Gleixner
Zuse Institute Berlin - Matheon - Berlin Mathematical School
http://www.zib.de/gleixner