<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<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">
<meta http-equiv="content-type" content="text/html;
charset=windows-1252">
<title></title>
<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://list.coin-or.org/mailman/listinfo/cbc">https://list.coin-or.org/mailman/listinfo/cbc</a>
</pre>
</blockquote>
<p><br>
</p>
</body>
</html>