Detect MIP symmetry using dejavu; Perform orbital fixing and lexical reduction#1103

Merged

rapids-bot[bot] merged 26 commits into

NVIDIA:release/26.06from

chris-maes:symmetry_detection

May 21, 2026

Commits on Apr 15, 2026

Initial symmetry detection using dejavu
chris-maes
committed

Commits on Apr 17, 2026

Only do strong branching on representative variables in an orbit. Extract the subgroup on the variables from the symmetry group on the graph
chris-maes
committed

Commits on Apr 18, 2026

Remove dejavu use for everything but graph automorphism. Dont compute the whole stab(G, B1) but rather a subgroup. Speeds up time for each node. But misses fixings.
chris-maes
committed

Commits on Apr 20, 2026

Use the fact that we are performing a plunge to avoid recomputing the full stabilizer(G, B1)
chris-maes
committed

Commits on Apr 21, 2026

Commits on Apr 22, 2026

Commits on Apr 27, 2026