<div dir="ltr"><div class="gmail_default" style="font-family:monospace,monospace;font-size:small">​​</div><div class="gmail_default" style="font-family:monospace,monospace;font-size:small">Hi,</div><div class="gmail_default" style="font-family:monospace,monospace;font-size:small"><br></div><div class="gmail_default" style="font-family:monospace,monospace;font-size:small">I think it is not possible to specify SOS1 in .LP or .MPS files.</div><div class="gmail_default" style="font-family:monospace,monospace;font-size:small">Anyway, the default CBC pre-preprocessing routine searchers for SOS structures :</div><div class="gmail_default" style="font-family:monospace,monospace;font-size:small"><span style="font-family:monospace"><span style="color:rgb(0,0,0)">Coin:preprocess  </span><br><Possible options for preprocess are: off on save equal sos trysos equalall strategy aggregate<br> forcesos;
<br>        current  sos><br>
<br></span></div><div class="gmail_default" style="font-family:monospace,monospace;font-size:small">Cheers,</div><div class="gmail_default" style="font-family:monospace,monospace;font-size:small"><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Dec 29, 2017 at 7:29 PM, Bjørn Sigurd Johansen (Spider Solutions AS) <span dir="ltr"><<a href="mailto:bjorn.sigurd.johansen@spidersolutions.no" target="_blank">bjorn.sigurd.johansen@spidersolutions.no</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">





<div lang="NO-BOK">
<div class="gmail-m_-6768725421567465097WordSection1">
<p class="gmail-MsoNormal"><span lang="EN-US">Hi!<u></u><u></u></span></p>
<p class="gmail-MsoNormal"><span lang="EN-US"><u></u> <u></u></span></p>
<ol style="margin-top:0cm" start="1" type="1">
<li class="gmail-m_-6768725421567465097MsoListParagraph" style="margin-left:0cm"><span lang="EN-US">How can a SOS1 constraint be defined in the model/lp text file?<br>
<br>
<u></u><u></u></span></li><li class="gmail-m_-6768725421567465097MsoListParagraph" style="margin-left:0cm"><span lang="EN-US">Is a SOS1 constraint handled more efficiently than a constraint of type
<u></u><u></u></span></li></ol>
<p class="gmail-MsoNormal" style="margin-left:54pt"><span lang="EN-US">MyBinaryVariable1 + MyBinaryVariable2 + … + MyBinaryVariableN <=0                 ?<u></u><u></u></span></p>
<p class="gmail-MsoNormal" style="margin-left:35.4pt"><span lang="EN-US"><u></u> <u></u></span></p>
<p class="gmail-MsoNormal" style="margin-left:54pt"><span lang="EN-US"><u></u> <u></u></span></p>
<p class="gmail-MsoNormal"><span lang="EN-US"><u></u> <u></u></span></p>
<p class="gmail-MsoNormal"><span lang="EN-US"><u></u> <u></u></span></p>
<div>
<p class="gmail-MsoNormal"><span lang="EN-US" style="color:green">Best regards,<u></u><u></u></span></p>
<p class="gmail-MsoNormal"><span style="color:green">Bjørn Sigurd<u></u><u></u></span></p>
</div>
<p class="gmail-MsoNormal"><span lang="EN-US"><u></u> <u></u></span></p>
<p class="gmail-MsoNormal"><span lang="EN-US"><u></u> <u></u></span></p>
<div>
<div style="border-right:none;border-bottom:none;border-left:none;border-top:1pt solid rgb(225,225,225);padding:3pt 0cm 0cm">
<p class="gmail-MsoNormal"><b><span lang="EN-US">From:</span></b><span lang="EN-US"> Cbc [mailto:<a href="mailto:cbc-bounces@coin-or.org" target="_blank">cbc-bounces@coin-or.<wbr>org</a>]
<b>On Behalf Of </b>Tobias Stengel<br>
<b>Sent:</b> fredag 29. desember 2017 21:49<br>
<b>To:</b> Rhavar <<a href="mailto:rhavar@protonmail.com" target="_blank">rhavar@protonmail.com</a>><br>
<b>Cc:</b> <a href="mailto:cbc@list.coin-or.org" target="_blank">cbc@list.coin-or.org</a></span></p><div><div class="gmail-h5"><br>
<b>Subject:</b> Re: [Cbc] Suboptimal solution as optimal?<u></u><u></u></div></div><p></p>
</div>
</div><div><div class="gmail-h5">
<p class="gmail-MsoNormal"><span lang="EN-US"><u></u> <u></u></span></p>
<div>
<p class="gmail-MsoNormal" style="margin-bottom:12pt"><span style="font-size:10pt;font-family:Tahoma,sans-serif;color:black">You can use a SOS1:<br>
First add a binary variable "has_no_change" and add the constraint<br>
has_no_change + has_change = 1<br>
Then your c1 can be replaced with a SOS1 containing change_amount and has_no_change.<br>
<br>
If you need to force has_change = 0 if change_amount = 0 you still need c0 (or something similar). Often this is not necessary, e.g. if has_change does not show up in any other constraint and has a positive coefficient in the objective (assuming minimization).<br>
<br>
<u></u><u></u></span></p>
<div>
<div class="gmail-MsoNormal" align="center" style="text-align:center"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">
<hr size="2" width="100%" align="center">
</span></div>
<div id="gmail-m_-6768725421567465097divRpF27868">
<p class="gmail-MsoNormal" style="margin-bottom:12pt"><b><span style="font-size:10pt;font-family:Tahoma,sans-serif;color:black">Von:</span></b><span style="font-size:10pt;font-family:Tahoma,sans-serif;color:black"> Cbc [<a href="mailto:cbc-bounces@coin-or.org" target="_blank">cbc-bounces@coin-or.org</a>]" im Auftrag
 von "Rhavar [<a href="mailto:rhavar@protonmail.com" target="_blank">rhavar@protonmail.com</a>]<br>
<b>Gesendet:</b> Freitag, 29. Dezember 2017 16:04<br>
<b>An:</b> John Forrest<br>
<b>Cc:</b> <a href="mailto:cbc@list.coin-or.org" target="_blank">cbc@list.coin-or.org</a><br>
<b>Betreff:</b> Re: [Cbc] Suboptimal solution as optimal?</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u><u></u></span></p>
</div>
<div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">A bit of a tangent, but the reason the model is "not well scaled" is because I have two variables:<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">change_amount    (a number saying how much change will be created)<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">has_change  (a binary 0 or 1, saying if there's change)<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">and I need to constrain these two things together.  The only way I could think of was by creating two different constraints:<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">c0: + change_amount - has_change >= 0<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">c1: + 2100000000000000 has_change - change_amount >= 0<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">Which in a high level language would be:<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">let has_change = change_amount > 0<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">(the reason I use 2.1e14 is because it's a max theoretical amount change could ever be. Although in practice, it's several orders of magnitude less).<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">Is there a smarter way of doing what I'm trying to do?<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">---<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">-Ryan<u></u><u></u></span></p>
</div>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<blockquote style="margin-top:5pt;margin-bottom:5pt">
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">-------- Original Message --------<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">Subject: Re: [Cbc] Suboptimal solution as optimal?<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">Local Time: December 29, 2017 4:39 AM<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">UTC Time: December 29, 2017 10:39 AM<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">From:
<a href="mailto:john.forrest@fastercoin.com" target="_blank">john.forrest@fastercoin.com</a><u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">To:
<a href="mailto:cbc@list.coin-or.org" target="_blank">cbc@list.coin-or.org</a><u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">Fixed hopefully - stable and trunk.<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">The original model is not well scaled - one element was 2.1e14 and even after preprocessing the problem had to be solved applying scaling factors.  The small
 fast branch and bound is deliberately a bit forgiving on this.  When the code thinks it has got a solution it double checks.  In this case it did that and threw that solution out - but it had left some variables fixed when they should not have been.<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">John Forrest<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">On 28/12/17 18:30, John Forrest wrote:<u></u><u></u></span></p>
</div>
</div>
<blockquote style="margin-top:5pt;margin-bottom:5pt">
<div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">Ryan,<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">Bug in Cbc.  My first try gave correct result, but I managed to get error.  For small problems, Cbc will do a simpler faster branch and bound on a portion of
 the tree.  This is returning infeasible - I will look into it.<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">If you add -depth -100 (which means only go into this simpler version at depth 100) then all looked fine.<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">John Forrest<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">On 27/12/17 18:37, Rhavar wrote:<u></u><u></u></span></p>
</div>
</div>
<blockquote style="margin-top:5pt;margin-bottom:5pt">
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">I have a problem:<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__gist.github.com_RHavar_dfb9de631363ecb9e1c326fff5ebd09b&d=DwMDaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=S4VZrfTJ9vrNsPyEyqDoTZUqb0eG9rdZ8l7-jr8EA9Y&s=dWErV9QjwaNhpQZZkV1ZmdJ_Ofpqgb80lh0-5ORAiSU&e=" target="_blank">https://gist.github.com/<wbr>RHavar/<wbr>dfb9de631363ecb9e1c326fff5ebd0<wbr>9b</a><u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">(lp file and solution file attached)<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">In the solution it says: "Optimal - objective value"  but I think I have found a superior solution by hand:<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span class="gmail-m_-6768725421567465097apple-converted-space"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"> </span></span><span class="gmail-m_-6768725421567465097s1"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">o6 = 1</span></span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">i22 = 1<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">Which gives a better objective (<span class="gmail-m_-6768725421567465097s1">70 instead of </span>825)<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">--<u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">So I guess my question is, does "Optimal - objective value"  mean that it's guaranteed to be the optimal solution? Or am I doing something wrong? Or is there
 a bug in cbc? <u></u><u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black">-Ryan<u></u><u></u></span></p>
</div>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<pre><span style="color:black">______________________________<wbr>_________________<u></u><u></u></span></pre>
<pre><span style="color:black">Cbc mailing list<u></u><u></u></span></pre>
<pre><span style="color:black"><a href="mailto:Cbc@list.coin-or.org" target="_blank">Cbc@list.coin-or.org</a><u></u><u></u></span></pre>
<pre><span style="color:black"><a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwMDaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=S4VZrfTJ9vrNsPyEyqDoTZUqb0eG9rdZ8l7-jr8EA9Y&s=SVcz-BvCf0RgvZrRQQxyV89AGoSkVGhfQhv4tx1JKV4&e=" target="_blank">https://list.coin-or.org/<wbr>mailman/listinfo/cbc</a><u></u><u></u></span></pre>
<pre><span style="color:black"><u></u> <u></u></span></pre>
</blockquote>
<p><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
<pre><span style="color:black">______________________________<wbr>_________________<u></u><u></u></span></pre>
<pre><span style="color:black">Cbc mailing list<u></u><u></u></span></pre>
<pre><span style="color:black"><a href="mailto:Cbc@list.coin-or.org" target="_blank">Cbc@list.coin-or.org</a><u></u><u></u></span></pre>
<pre><span style="color:black"><a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=S4VZrfTJ9vrNsPyEyqDoTZUqb0eG9rdZ8l7-jr8EA9Y&s=SVcz-BvCf0RgvZrRQQxyV89AGoSkVGhfQhv4tx1JKV4&e=" target="_blank">https://urldefense.proofpoint.<wbr>com/v2/url?u=https-3A__list.<wbr>coin-2Dor.org_mailman_<wbr>listinfo_cbc&d=DwICAg&c=Ngd-<wbr>ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLx<wbr>WPA_2Wlc4&r=js2M0T-<wbr>3OIMIVDvokcKjokJbk0F8QOCd0mT4F<wbr>sVFE88&m=<wbr>S4VZrfTJ9vrNsPyEyqDoTZUqb0eG9r<wbr>dZ8l7-jr8EA9Y&s=SVcz-<wbr>BvCf0RgvZrRQQxyV89AGoSkVGhfQhv<wbr>4tx1JKV4&e=</a> <u></u><u></u></span></pre>
<pre><span style="color:black"><u></u> <u></u></span></pre>
</blockquote>
<p><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</blockquote>
<div>
<p class="gmail-MsoNormal"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:black"><u></u> <u></u></span></p>
</div>
</div>
</div>
</div>
</div></div></div>
</div>

<br>______________________________<wbr>_________________<br>
Cbc mailing list<br>
<a href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a><br>
<a href="https://list.coin-or.org/mailman/listinfo/cbc" rel="noreferrer" target="_blank">https://list.coin-or.org/<wbr>mailman/listinfo/cbc</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><span style="font-family:monospace,monospace">=============================================================<br>Haroldo Gambini Santos<br>Computing Department<br>Universidade Federal de Ouro Preto - UFOP<br>email: haroldo [at ] <a href="http://iceb.ufop.br" target="_blank">iceb.ufop.br</a><br>home/research page: <a href="http://www.decom.ufop.br/haroldo/" target="_blank">www.decom.ufop.br/haroldo</a><br><br><br>It has long been an axiom of mine that the little things are infinitely<br>the most important.<br>            -- Sir Arthur Conan Doyle, "A Case of Identity"<br></span></div></div></div>
</div></div>