<div dir="ltr">(Same as the reply on the AMPL forum as well)<br><br>Suppose we want the variable t[i] to be equal to the ceiling of a 
variable x[i]. The ceiling function is indeed not implemented in 
Couenne, but it suffices to declare t[i] as integer and then add the two
 constraints<br><br>eps + t[i] >= x[i]<br>eps + t[i] - 1 <= x[i]<br><br>where
 eps is a small-enough constant, say 1e-5. A nonzero eps allows for 
unicity of t[i] (in case x[i] is itself integer), although x[i] 3.000009
 will result in t[i] = 3. There are simpler implementations in case you 
only require t[i] >= ceil (x[i]) or t[i] <= ceil (x[i]).<br><br>Hope this helps,<br>Pietro</div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Aug 26, 2017 at 6:04 AM, Mahmut Tutam <span dir="ltr"><<a href="mailto:mtutam@email.uark.edu" target="_blank">mtutam@email.uark.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>Hello,<br><br></div>I am using Couenne open source software 
with AMPL to solve my nonlinear-integer optimization problem. I do not 
know how to tell AMPL to round a function depending on the variable. For
 example, the following function is one of the constraints in my 
optimization problem such as n is variable; and a and nk are parameters.
 t[i] = round((i * a * n) / (a * (nk + 1));. I know I can use ceil 
function with CPLEX, but CPLEX can not solve a nonlinear-integer 
optimization problem. If I use ceil function in Couenne, it says ceil is
 not implemented. Would you please share me if there is a way to deal 
with this problem? or should I use another software package to solve my 
problem?<br><br></div><div>Sincerely,<br></div>Mahmut</div>
<br>______________________________<wbr>_________________<br>
Couenne mailing list<br>
<a href="mailto:Couenne@list.coin-or.org">Couenne@list.coin-or.org</a><br>
<a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_couenne&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=ZxcvfrgBj_XEFq5Ymi2c2hQYsUUIXtcIIzgczKPIqFs&m=huEdtoj8_Y6lfJ525ilFczVVisSofx8mFp8na4mJ0Ik&s=jdAYHadXWuuKKFJac-imwBwLAcLDSxI1LlKd5t7dckc&e=" rel="noreferrer" target="_blank">https://urldefense.proofpoint.<wbr>com/v2/url?u=https-3A__list.<wbr>coin-2Dor.org_mailman_<wbr>listinfo_couenne&d=DwICAg&c=<wbr>Ngd-<wbr>ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLx<wbr>WPA_2Wlc4&r=ZxcvfrgBj_<wbr>XEFq5Ymi2c2hQYsUUIXtcIIzgczKPI<wbr>qFs&m=huEdtoj8_<wbr>Y6lfJ525ilFczVVisSofx8mFp8na4m<wbr>J0Ik&s=jdAYHadXWuuKKFJac-<wbr>imwBwLAcLDSxI1LlKd5t7dckc&e=</a> <br></blockquote></div><br></div>