Skip to content

Use generic mapSolution + SipserReduceToSAT3 instead of reverseMappedSolution#89

Open
wrigjl wants to merge 1 commit into
ReduxISU:ReduxAPI_GUIfrom
wrigjl:submit/replace-reverse-mapped-solution
Open

Use generic mapSolution + SipserReduceToSAT3 instead of reverseMappedSolution#89
wrigjl wants to merge 1 commit into
ReduxISU:ReduxAPI_GUIfrom
wrigjl:submit/replace-reverse-mapped-solution

Commits

Commits on May 24, 2026