feat: batch implement 17 reduction rules with 14 new models#999

Merged

GiggleLiu merged 26 commits intomainfrom

jg/new-rules-batch1

Apr 4, 2026

Commits on Apr 3, 2026

feat: add SubsetSum → Partition reduction rule (#973)

GiggleLiu
and
claude
committed
feat: add NonTautology model and Satisfiability → NonTautology rule (#868)

GiggleLiu
and
claude
committed
feat: add PartitionIntoCliques model and KColoring → PartitionIntoCliques rule (#844)

GiggleLiu
and
claude
committed
feat: add Kernel model and 3SAT → Kernel reduction rule (#882)

GiggleLiu
and
claude
committed
feat: add DegreeConstrainedSpanningTree model and HamPath → DCST rule (#911)

GiggleLiu
and
claude
committed
feat: add SetSplitting model and NAE-SAT → SetSplitting rule (#382)

GiggleLiu
and
claude
committed
feat: add SubsetProduct model and X3C → SubsetProduct rule (#388)

GiggleLiu
and
claude
committed
feat: add IntegerExpressionMembership model and SubsetSum → IEM rule (#569)

GiggleLiu
and
claude
committed
feat: add MinimumWeightSolutionToLinearEquations model and X3C → MWSLE rule (#860)

GiggleLiu
and
claude
committed
feat: add SimultaneousIncongruences model and 3SAT → SI rule (#554)

GiggleLiu
and
claude
committed
feat: add SequencingToMinimizeTardyTaskWeight model and Partition → SMTTW rule (#471)

GiggleLiu
and
claude
committed

Commits on Apr 4, 2026