<!doctype html>
<html>
<head>
<meta charset="UTF-8">
</head>
<body>
<div class="default-style">
I am aware that there are mutliple ways to handle symmetries in SCIP
</div>
<div class="default-style">
</div>
<div class="default-style">
<a href="https://www.scipopt.org/doc/html/cons__orbisack_8h.php">https://www.scipopt.org/doc/html/cons__orbisack_8h.php</a>
</div>
<div class="default-style">
<a href="https://www.scipopt.org/doc/html/cons__orbitope_8h.php">https://www.scipopt.org/doc/html/cons__orbitope_8h.php</a>
</div>
<div class="default-style">
<a href="https://www.scipopt.org/doc/html/cons__symresack_8h.php">https://www.scipopt.org/doc/html/cons__symresack_8h.php</a>
</div>
<div class="default-style">
</div>
<div class="default-style">
All those are for binary variables.
</div>
<div class="default-style">
</div>
<div class="default-style">
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: <a href="https://or.stackexchange.com/questions/13187/are-there-existing-formats-to-express-symmetries-between-variables-in-milp?noredirect=1#comment28418_13187">https://or.stackexchange.com/questions/13187/are-there-existing-formats-to-express-symmetries-between-variables-in-milp?noredirect=1#comment28418_13187</a> and was pointed towards SCIP being potentially interesting for that.
</div>
<div class="default-style">
</div>
<div class="default-style">
Is there some examples which use those constraints handlers?
</div>
<div class="default-style">
The documentation i linked above is to dense for me to make sense of.
</div>
<div class="default-style">
</div>
<div class="default-style">
Sincerely,
<br>Johann-Tobias Schäg
</div>
<div class="default-style">
</div>
<div class="default-style">
</div>
</body>
</html>