<div dir="ltr">Thanks Michael and Gerald!<div><br></div><div>This was a huge help to me, thanks for the explanations. I figured it would be a simple issue. I'm just trying to learn all of these intricacies of mixed integer programming, zimpl, etc.</div>
<div><br></div><div>- George</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Sep 16, 2013 at 5:31 PM, Gerald Gamrath <span dir="ltr"><<a href="mailto:gamrath@zib.de" target="_blank">gamrath@zib.de</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
Hi George,<br>
<br>
the reason is simple: 'a' needs to take on the value of -14.666667
in order to make the constraint "aval" feasible. However, if you do
not specify a lower bound for a variable, ZIMPL assumes the variable
to be nonnegative (which is consistent to the lp file format, by the
way).<br>
<br>
In order to get a free variable, you need to specify a lower bound
of - infinity, i.e.,<br>
var a >= -infinity;<br>
<br>
If you do this, everything works fine.<br>
<br>
Best,<br>
Gerald<br>
<br>
<br>
<br>
<br>
<div>Am 16.09.2013 21:58, schrieb George
Nychis:<br>
</div>
<blockquote type="cite"><div class="im">
<div dir="ltr">Hi all,
<div><br>
</div>
<div>I'm trying to figure out why the solution to this short
attached ZMPL example is infeasible. I believe that 'a'
taking on the value of 14.666667 provides an answer, but I
don't know hot SCIP is meant to handle that repeating digit.</div>
<div><br>
</div>
<div>- George</div>
</div>
<br>
<fieldset></fieldset>
<br>
</div><div class="im"><pre>_______________________________________________
Scip mailing list
<a href="mailto:Scip@zib.de" target="_blank">Scip@zib.de</a>
<a href="http://listserv.zib.de/mailman/listinfo/scip" target="_blank">http://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</div></blockquote>
<br>
</div>
</blockquote></div><br></div>