Research: solver-free P111 copied-rank certificate and source-order correction - #757

Research: solver-free P111 copied-rank certificate and source-order correction#757

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

rseligm2:research/p111-copy-rank-certificaterseligm2/integer-mult-bounds:research/p111-copy-rank-certificateCopy head branch name to clipboard