feat: correlation graph-equality congruence + induced-union bridge (union form) — #2965#2978

phasetr merged 2 commits into

mainphasetr/ising-model:mainfrom

feat/correlation-congr-instance-2965phasetr/ising-model:feat/correlation-congr-instance-2965Copy head branch name to clipboard