feat: Add problem variants, documentation improvements, and reduction macro#25

Merged

GiggleLiu merged 27 commits intomainfrom

feat/problem-variants-and-docs

Feb 2, 2026

Commits on Feb 2, 2026

update
GiggleLiu
committed
feat: Add problem variants, documentation improvements, and reduction macro

GiggleLiu
and
claude
committed
docs: Add variant trait design document

GiggleLiu
and
claude
committed
docs: Add variant trait implementation plan

GiggleLiu
and
claude
committed
feat: add variant helper module with short_type_name

GiggleLiu
and
claude
committed
feat: replace GraphType/Weight with variant() in Problem trait
GiggleLiu
committed
feat: update graph models to use variant()

GiggleLiu
and
claude
committed
feat: update satisfiability models to use variant()

GiggleLiu
and
claude
committed
feat: update set models to use variant()

GiggleLiu
and
claude
committed
feat: update optimization models to use variant()

GiggleLiu
and
claude
committed
feat: update specialized models to use variant()

GiggleLiu
and
claude
committed
feat: update GraphProblem template to use variant()

GiggleLiu
and
claude
committed
feat: update solver test problems to use variant()

GiggleLiu
and
claude
committed
feat: update ReductionEntry to use variant slices

GiggleLiu
and
claude
committed
feat: update graph JSON export to structured variant format

GiggleLiu
and
claude
committed
feat: update reduction macro for variant slices

GiggleLiu
and
claude
committed
feat: update all reduction registrations to variant format

GiggleLiu
and
claude
committed
feat: remove NAME from GraphMarker trait

GiggleLiu
and
claude
committed
chore: regenerate reduction graph with new variant format

GiggleLiu
and
claude
committed
docs: update reductions.typ for variant() trait design

GiggleLiu
and
claude
committed
test: add coverage for variant() methods

GiggleLiu
and
claude
committed
test: Add variant() coverage tests for remaining Problem impls

GiggleLiu
and
claude
committed
test: Add variant() tests for test problems in traits.rs

GiggleLiu
and
claude
committed
chore: Add codecov config excluding proc-macro crate

GiggleLiu
and
claude
committed
test: Add more is_base_reduction test cases for coverage

GiggleLiu
and
claude
committed
fix: Update diagram to show edges by base problem names

GiggleLiu
and
claude
committed
fix: Address PR review comments

GiggleLiu
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: Add problem variants, documentation improvements, and reduction macro#25

feat: Add problem variants, documentation improvements, and reduction macro#25
GiggleLiu merged 27 commits intomainfrom
feat/problem-variants-and-docs

Commits on Feb 2, 2026

update

feat: Add problem variants, documentation improvements, and reduction macro

docs: Add variant trait design document

docs: Add variant trait implementation plan

feat: add variant helper module with short_type_name

feat: replace GraphType/Weight with variant() in Problem trait

feat: update graph models to use variant()

feat: update satisfiability models to use variant()

feat: update set models to use variant()

feat: update optimization models to use variant()

feat: update specialized models to use variant()

feat: update GraphProblem template to use variant()

feat: update solver test problems to use variant()

feat: update ReductionEntry to use variant slices

feat: update graph JSON export to structured variant format

feat: update reduction macro for variant slices

feat: update all reduction registrations to variant format

feat: remove NAME from GraphMarker trait

chore: regenerate reduction graph with new variant format

docs: update reductions.typ for variant() trait design

test: add coverage for variant() methods

test: Add variant() coverage tests for remaining Problem impls

test: Add variant() tests for test problems in traits.rs

chore: Add codecov config excluding proc-macro crate

test: Add more is_base_reduction test cases for coverage

fix: Update diagram to show edges by base problem names

fix: Address PR review comments