Prove the P104 weighted star program is exactly optimal at 5/6 (no κ) - #7322

Prove the P104 weighted star program is exactly optimal at 5/6 (no κ)#7322

petalas wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w9-1111f-star-weight-optimumpetalas/integer-mult-bounds:research/w9-1111f-star-weight-optimumCopy head branch name to clipboard