research: nine-line counterexample to the B2 acyclic-edge strengthening - #2334

research: nine-line counterexample to the B2 acyclic-edge strengthening#2334

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

ROTl24:research/b2-tripartite-edge-counterexampleROTl24/integer-mult-bounds:research/b2-tripartite-edge-counterexampleCopy head branch name to clipboard