<html><body>
<p>Haroldo,<br>
<br>
There may be bugs in the code but I think that you need to change some of the options in the CbcCutGenerator before you pass it to Cbc. In particular setMustCallAgain(true) will say keep adding cuts as long as there are any.<br>
<br>
The deafult will stop after a few passes, which is probably why you are seeing what is happening.<br>
<br>
John Forrest<br>
<br>
<img width="16" height="16" src="cid:1__=0ABBFEC3DFA4BEE68f9e8a93df938@us.ibm.com" border="0" alt="Inactive hide details for "Haroldo Santos" ---05/20/2008 09:23:52 AM---Hi All,"><font color="#424282">"Haroldo Santos" ---05/20/2008 09:23:52 AM---Hi All,</font><br>
<br>
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr valign="top"><td width="1%"><img width="96" height="1" src="cid:2__=0ABBFEC3DFA4BEE68f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2" color="#5F5F5F">From:</font></td><td width="100%"><img width="1" height="1" src="cid:2__=0ABBFEC3DFA4BEE68f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2">"Haroldo Santos" <haroldo.santos@gmail.com></font></td></tr>
<tr valign="top"><td width="1%"><img width="96" height="1" src="cid:2__=0ABBFEC3DFA4BEE68f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2" color="#5F5F5F">To:</font></td><td width="100%"><img width="1" height="1" src="cid:2__=0ABBFEC3DFA4BEE68f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2">cbc@list.coin-or.org</font></td></tr>
<tr valign="top"><td width="1%"><img width="96" height="1" src="cid:2__=0ABBFEC3DFA4BEE68f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2" color="#5F5F5F">Date:</font></td><td width="100%"><img width="1" height="1" src="cid:2__=0ABBFEC3DFA4BEE68f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2">05/20/2008 09:23 AM</font></td></tr>
<tr valign="top"><td width="1%"><img width="96" height="1" src="cid:2__=0ABBFEC3DFA4BEE68f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2" color="#5F5F5F">Subject:</font></td><td width="100%"><img width="1" height="1" src="cid:2__=0ABBFEC3DFA4BEE68f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2">[Cbc] Cuts and Integer Solutions in CBC</font></td></tr>
</table>
<hr width="100%" size="2" align="left" noshade style="color:#8091A5; "><br>
<br>
<br>
<font size="4">Hi All,<br>
<br>
I'm working with a MIP with an exponential number of constraints. To define the problem we need this huge amount of rows.<br>
So, I defined a cbcmodel with a small subset of these constraints and added an specialization of CglCutGenerator to dynamically insert the other rows, as needed.<br>
However, in the first iterations cbcmodel finds an Integer solution and stops the search, even if new cuts were added.<br>
Note that these "cuts" are not cuts in the traditional way: they do not cut fractional solutions. Instead, they define the problem.<br>
Is there any way to tell cbc that if new cuts were added, it must continue the search ?<br>
I think that in CPLEX this can be done by the so called "lazy constraints".<br>
<br>
Best regards,<br>
<br>
Haroldo<br>
<br>
-- <br>
===============================================================<br>
Haroldo Gambini Santos</font><u><font size="4" color="#0000FF"><br>
</font></u><a href="http://www.ic.uff.br/~hsantos"><u><font size="4" color="#0000FF">http://www.ic.uff.br/~hsantos</font></u></a><u><font size="4" color="#0000FF"><br>
</font></u><a href="mailto:hsantos@ic.uff.br"><u><font size="4" color="#0000FF">hsantos@ic.uff.br</font></u></a><font size="4"><br>
Instituto de Computacao - Universidade Federal Fluminense </font><tt>_______________________________________________<br>
Cbc mailing list<br>
Cbc@list.coin-or.org<br>
</tt><tt><a href="http://list.coin-or.org/mailman/listinfo/cbc">http://list.coin-or.org/mailman/listinfo/cbc</a></tt><tt><br>
</tt><br>
</body></html>