Batch-add 12 Backlog Models + 16 Backlog Rules#1067

Open

isPANN wants to merge 42 commits into

mainfrom

batch-add-models

Commits on May 25, 2026

Commits on May 26, 2026

Add Partition -> IntegralFlowWithMultipliers reduction (#363)

isPANN
and
claude
committed
Add MinimumVertexCover -> ComparativeContainment reduction (#385)

isPANN
and
claude
committed
Add MinimumDiscretePlanarInverseKinematics -> QUBO reduction (#995)

isPANN
and
claude
committed
Add OptimalLinearArrangement -> SequencingToMinimizeWeightedCompletionTime reduction (#472)

isPANN
and
claude
committed
Add ThreeDimensionalMatching -> ThreeMatroidIntersection reduction (#857)

isPANN
and
claude
committed
Add MinimumCoveringByCliques -> MinimumIntersectionGraphBasis reduction (#848)

isPANN
and
claude
committed
Add Numerical3DimensionalMatching -> NumericalMatchingWithTargetSums reduction (#827)

isPANN
and
claude
committed
Add MaximumCoKPlex -> ILP reduction (#1016)

isPANN
and
claude
committed
Add MaximumCommonEdgeSubgraph -> ILP reduction (#1019)

isPANN
and
claude
committed
Add MaximumEdgeWeightedKClique -> ILP reduction (#1021)

isPANN
and
claude
committed
Add HighlyConnectedDeletion -> ILP reduction (#1023)

isPANN
and
claude
committed
Add EulerianPath -> ILP reduction (#1025)

isPANN
and
claude
committed
Add MinimumCostMaximumFlow -> MinimumCostCirculation reduction (#1031)

isPANN
and
claude
committed
Fix #995 example-db test compile error

isPANN
and
claude
committed
Add ClosestString -> ILP reduction (#1034)

isPANN
and
claude
committed
Add ClosestSubstring -> ILP reduction (#1035)

isPANN
and
claude
committed
Fix clippy identity_op in closestsubstring_ilp test (#1035)

isPANN
and
claude
committed
Fix incorrect expected value in zero-length-task test (#472 review)

isPANN
and
claude
committed
Add canonical example for ThreeDimensionalMatching -> ThreeMatroidIntersection (#857 review)

isPANN
and
claude
committed
Fix missing canonical examples + bib keys (#1021 review)

isPANN
and
claude
committed
Remove stale zero-length CLI tests after validator relaxation (#472)

isPANN
and
claude
committed
Fix paper compile errors: typst inter, missing/typo'd bib keys

isPANN
and
claude
committed
Add auto-pipeline integration gate (Step 2.5)

isPANN
and
claude
committed
Slim down auto-pipeline Step 2.5

isPANN
and
claude
committed