[SCIP] Looking for example how to express symmetry groups

[Johann-Tobias Schäg]

I am aware that there are mutliple ways to handle symmetries in SCIP
 
https://www.scipopt.org/doc/html/cons__orbisack_8h.php
https://www.scipopt.org/doc/html/cons__orbitope_8h.php
https://www.scipopt.org/doc/html/cons__symresack_8h.php
 
All those are for binary variables.
 
I occasionally encounter 0-1 ILP which have symmetries so large that SCIP fails to (fully) detect them. I asked on the OR stack exchange whether there is a standardized format for symmetry groups: https://or.stackexchange.com/questions/13187/are-there-existing-formats-to-express-symmetries-between-variables-in-milp?noredirect=1#comment28418_13187 and was pointed towards SCIP being potentially interesting for that.
 
Is there some examples which use those constraints handlers?
The documentation i linked above is to dense for me to make sense of.
 
Sincerely,
Johann-Tobias Schäg
 
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20250612/d1e3d8a2/attachment.html>