DieHardest: compare jug configurations via parallel and interleaved self-composition#199

lemmy wants to merge 1 commit intomastertlaplus/Examples:masterfrom

mku-DieHardesttlaplus/Examples:mku-DieHardestCopy head branch name to clipboard