[Cbc] Nauty / Symmetry detection support

[Tiago Maduro Dias]

Hi,

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.

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

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.

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?

Best regards,

Tiago Maduro Dias.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20181027/dcb3cd7f/attachment.html>