Skip to content

Normalize NPC_ExactCover directory case to NPC_EXACTCOVER#215

Open
wrigjl wants to merge 1 commit into
ReduxISU:CSharpAPIfrom
wrigjl:submit/exactcover-dir-case
Open

Normalize NPC_ExactCover directory case to NPC_EXACTCOVER#215
wrigjl wants to merge 1 commit into
ReduxISU:CSharpAPIfrom
wrigjl:submit/exactcover-dir-case

Conversation

@wrigjl
Copy link
Copy Markdown
Collaborator

@wrigjl wrigjl commented May 23, 2026

The ReduceTo directory under NPC_GRAPHCOLORING was named NPC_ExactCover (mixed case) while the canonical problem directory and class are NPC_EXACTCOVER. Type system is already consistent (IReduction<GRAPHCOLORING, EXACTCOVER>); only the directory disagreed. Pure rename, no code changes.

The ReduceTo directory under NPC_GRAPHCOLORING was named
NPC_ExactCover (mixed case) while the canonical problem directory and
class are NPC_EXACTCOVER. Type system is already consistent
(IReduction<GRAPHCOLORING, EXACTCOVER>); only the directory disagreed.
Pure rename, no code changes.
@wrigjl wrigjl added the low-risk Merging this diff carries little risk (documentation fixes, comment fixes, etc.). label May 31, 2026
wrigjl added a commit to wrigjl/Redux that referenced this pull request May 31, 2026
Ten reduction/verifier classes declared `private string _complexity = ""`
but never exposed it via a public property, producing CS0414 warnings and
silently omitting complexity from API responses. Replaced with:

    public string? complexity { get; set; } = null;

Null is an explicit "not specified" sentinel, giving callers a consistent
JSON shape. Also adds the property to the Reduction and Solver scaffolding
templates so new classes get it by default.

Remaining: KarpGraphColorToExactCover.cs and ProblemVerifier.txt are
blocked on PRs ReduxISU#215 and ReduxISU#217 respectively.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

low-risk Merging this diff carries little risk (documentation fixes, comment fixes, etc.).

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant