<html xmlns="http://www.w3.org/1999/xhtml">

<head>

<title></title>

</head>

<body>

<div name="messageBodySection" style="font-size: 14px; font-family: -apple-system, BlinkMacSystemFont, sans-serif;">Please find an example problem attached. It’s meant to be a k longest cyclic path problem.

<div><br /></div>

<div>Thanks in advance!</div>

<div><br /></div>

<div>Tiago Maduro Dias.</div>

<div><br /></div>

</div>

<div name="messageReplySection" style="font-size: 14px; font-family: -apple-system, BlinkMacSystemFont, sans-serif;">On 28 Oct 2018, 15:01 -0100, John Forrest <john.forrest@fastercoin.com>, wrote:<br />

<blockquote type="cite" style="margin: 5px 5px; padding-left: 10px; border-left: thin solid #1abc9c;">

<div class="moz-cite-prefix">Nauty is to some extent a "WIP".  I would be glad if someone were to improve it.</div>

<div class="moz-cite-prefix"><br /></div>

<div class="moz-cite-prefix">I have fixed compile problem in trunk.  I have also added an -orbit simple option, which just adds symmetry breaking constraints.</div>

<div class="moz-cite-prefix"><br /></div>

<div class="moz-cite-prefix">If you wish to send me a problem, I can look to see what nauty or other options can do to improve situation.</div>

<div class="moz-cite-prefix"><br /></div>

<div class="moz-cite-prefix">John Forrest<br /></div>

<div class="moz-cite-prefix"><br /></div>

<div class="moz-cite-prefix"><br /></div>

<div class="moz-cite-prefix"><br /></div>

<div class="moz-cite-prefix">On 27/10/2018 23:01, Tiago Maduro Dias wrote:<br /></div>

<blockquote type="cite" cite="mid:d015d34f-76fc-450d-ae1d-bb50a4606e62@Spark" style="margin: 5px 5px; padding-left: 10px; border-left: thin solid #e67e22;">

<meta http-equiv="content-type" content="text/html; charset=windows-1252" />

<div name="messageBodySection" style="font-size: 14px; font-family: -apple-system, BlinkMacSystemFont, sans-serif;">Hi,

<div><br /></div>

<div>I’m dealing with a problem that has quite a few symmetries but I’m finding that adding restrictions to reduce or eliminate them has a significant impact on CBC’s execution time.</div>

<div><br /></div>

<div>I was wondering if there were alternative and possibly more efficient approaches, such as using Nauty.</div>

<div><br /></div>

<div>After some time fiddling, I’m coming to the conclusion that Nauty support in CBC is currently broken, e.g., there’s a reference to rootModels[i]->zapSymmetry() in Cbc/src/CbcModel.cpp but I see no declaration for it anywhere in the code.</div>

<div><br /></div>

<div>This made me wonder if Nauty is supposed to work with the trunk version of CBC or if it's just an abandoned WIP? If the former, can someone give me some pointers about what I should be doing to get it to compile?</div>

</div>

<div name="messageSignatureSection" style="font-size: 14px; font-family: -apple-system, BlinkMacSystemFont, sans-serif;"><br />

Best regards,

<div><br /></div>

<div>Tiago Maduro Dias.</div>

</div>

<br />

<fieldset class="mimeAttachmentHeader"></fieldset>

<pre class="moz-quote-pre" wrap="">_______________________________________________

Cbc mailing list

<a class="moz-txt-link-abbreviated" href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a>

<a class="moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwMDEA&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=FnVch9HKYgPr29Da5ydv4Q&m=qF50vVuBcQTvJZrIo9TvvyTzKh9Ly7_3y3ZLpD5nDPE&s=9FhsOjsSIiHICxczeD1Bkfzs-K27UM9m_-onWxwiX9E&e=">https://list.coin-or.org/mailman/listinfo/cbc</a>

</pre></blockquote>

<p><br /></p>

_______________________________________________<br />

Cbc mailing list<br />

Cbc@list.coin-or.org<br />

https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=FnVch9HKYgPr29Da5ydv4Q&m=qF50vVuBcQTvJZrIo9TvvyTzKh9Ly7_3y3ZLpD5nDPE&s=9FhsOjsSIiHICxczeD1Bkfzs-K27UM9m_-onWxwiX9E&e=<br /></blockquote>

</div>

</body>

</html>