feat: straddle-set no-cross + not-internal facts — #2965#2982

phasetr merged 2 commits into

mainphasetr/ising-model:mainfrom

feat/straddle-cross-facts-2965phasetr/ising-model:feat/straddle-cross-facts-2965Copy head branch name to clipboard