Independent verification: P112 root-star cost 64 via maximal-clique census - #1249

Independent verification: P112 root-star cost 64 via maximal-clique census#1249

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

bbMisk:research/root-star-integer-cover-seed46bbMisk/integer-mult-bounds:research/root-star-integer-cover-seed46Copy head branch name to clipboard