Hi Scott,
<div><br></div><div>This is a a really late reply, but</div><div><br></div><div>I might have what you are looking for. I have modified the code for Couenne, Bonmin, and Cbc so it can (rigorously) find all global minima where there are multiple. I only got it to work properly this week on some well known test problems with multiple solutions (I have attached some of them for you to test out) so far it seems to work. </div>

<div><br></div><div>You will need to pick through the code I have attached (or just replace your old files with the ones I attached, though this may be risky as I have other crap in there), you will have to modify </div>
<div><br></div><div>Cbc/src/CbcModel.hpp:-</div>
<div>Just use the version I attached, or better do a diff first and add the modifications I made manually.</div><div><br></div><div>Cbc/src/CbcModel.cpp: - </div><div><br></div><div>Copy and paste the code sections inside the macro &quot;#ifdef ALL_SOLUTIONS&quot; to your code, at the same location as in the code attached. Don&#39;t forget to declare &quot;#define ALL_SOLUTIONS 1&quot; </div>

<div><br></div><div>Couenne/src/bound_tightening/boundTightening.cpp: - </div><div><br></div><div>Copy and paste the code sections inside the macro &quot;#ifdef ALL_SOLUTIONS&quot; to your code, at the same location as in the code attached. Don&#39;t forget to declare &quot;#define ALL_SOLUTIONS 1&quot;</div>

<div><br></div><div>Couenne/main/BonCouenneSetup.cpp: -</div><div><br></div><div>Add the line &quot;intParam_[BabSetupBase::NumOrigVar] = couenneProb-&gt;nOrigVars();&quot; before the end of the function  bool CouenneSetup::InitializeCouenne (char **&amp; argv). See the attached file as a sample.</div>

<div><br></div><div>Algorithms/BonBabSetupBase.hpp: -</div><div>Just use the version I attached, or better do a diff first and add the modifications I made manually.</div><div><br></div><div><br></div><div>Bonmin/src/CbcBonmin/BonCbc.cpp</div>

<div>Just use the version I attached, or better do a diff first and add the modifications I made manually.</div><div><br></div><div>Then recompile your code again and I think it should work. Notice that I predefine some margins</div>

<div>called alm_margin1, alm_margin2 etc. These are important in making this modification work, for</div><div>example alm_margin4 defines the region around an existing solution which will not be searched </div><div>again (this part is actually implemented really BADLY because many of the margins are absolute</div>

<div>and not relative).</div><div><br></div><div>Also, If its possible you can send me the problem you were working on.</div><div><br></div><div>Regards,</div><div><br></div><div>Pete</div><div><br></div><div><br></div><div>
<br></div>