docs: verify reduction #970 — CircuitSAT → Satisfiability#990

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

issue/970-verify-circuitsat-satisfiabilityCodingThrust/problem-reductions:issue/970-verify-circuitsat-satisfiabilityCopy head branch name to clipboard