<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body 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 class="moz-cite-prefix">Am 16.09.2013 21:58, schrieb George
Nychis:<br>
</div>
<blockquote
cite="mid:CA+7oygfDhAKtixy4On56OC6TAz0c2k2PY5NrfQNUR_q6PieREw@mail.gmail.com"
type="cite">
<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 class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Scip mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="moz-txt-link-freetext" href="http://listserv.zib.de/mailman/listinfo/scip">http://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
<br>
</body>
</html>