Design specs for #P/PP-complete problem support#750

GiggleLiu wants to merge 1 commit intomainCodingThrust/problem-reductions:mainfrom

design/counting-and-aggregationCodingThrust/problem-reductions:design/counting-and-aggregationCopy head branch name to clipboard