Missing feature: symmetry detection in exact mode

[gmagoon]

In SCIP 10.0.2 with exact/enable = TRUE, symmetry detection is effectively skipped:

   (3.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
   Symmetry detection interrupted: constraints of type exactlinear do not provide symmetry information.
   If symmetries shall be detected, implement the CONSGETPERMSYMGRAPH callback.
   (3.0s) could not compute symmetry

Not sure if this is a known issue or not, but if it is, you can consider this a sort of feature suggestion. If there are significant / fundamental challenges with implementing symmetry detection for exact mode, feel free to close.

[christopherhojny]

Thanks for raising this point. This is indeed an important missing feature, but it requires some re-wiring of SCIP's symmetry handling routines. It is certainly on our todo list, but requires some time to implement this properly.