Research: one all-five toggle has no favorable price (no new kappa) - #3321

Research: one all-five toggle has no favorable price (no new kappa)#3321

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

1337isnot1337:research/quint-toggle-connector-20261017-7f2d1337isnot1337/integer-mult-bounds:research/quint-toggle-connector-20261017-7f2dCopy head branch name to clipboard