Add variant-level aliases; introduce 2SAT and 3SAT#1054

GiggleLiu merged 3 commits intomainCodingThrust/problem-reductions:mainfrom

variant-aliasesCodingThrust/problem-reductions:variant-aliasesCopy head branch name to clipboard