What's Changed

• Fix #501: Add PrecedenceConstrainedScheduling model by @zazabap in #626
• Fix #300: Add QuadraticAssignment model by @zazabap in #622
• Fix #446: [Model] PrimeAttributeName by @GiggleLiu in #683
• Fix #417: Add ConsecutiveOnesSubmatrix model by @GiggleLiu in #667
• fix: resolve paper compilation errors and correct example narrative by @isPANN in #699
• Fix #443: Add RectilinearPictureCompression model by @GiggleLiu in #677
• Fix #186: Add MinimumMultiwayCut -> QUBO reduction by @GiggleLiu in #694
• Fix #534: Add PartiallyOrderedKnapsack model by @zazabap in #631
• Fix #449: [Model] ConjunctiveBooleanQuery by @GiggleLiu in #689
• Fix #502: Add ResourceConstrainedScheduling model by @zazabap in #628
• Fix #227: Add PartitionIntoPathsOfLength2 model by @zazabap in #638
• Fix #448: [Model] ConjunctiveQueryFoldability by @GiggleLiu in #687
• Fix #572: [Model] GeneralizedHex by @GiggleLiu in #686
• Fix #701: Add find_all_satisfying tests and register all canonical examples by @isPANN in #702
• Fix #228: Add MinimumCutIntoBoundedSets model by @zazabap in #637
• Fix #500: [Model] SequencingToMinimizeMaximumCumulativeCost by @GiggleLiu in #674
• Fix #210: [Model] Partition by @GiggleLiu in #664
• Fix #447: [Model] BoyceCoddNormalFormViolation by @GiggleLiu in #685
• Fix #445: [Model] AdditionalKey by @GiggleLiu in #681
• Fix #498: [Model] SequencingToMinimizeWeightedTardiness by @GiggleLiu in #672
• Fix #410: [Model] MultipleCopyFileAllocation by @GiggleLiu in #665
• Fix #639: [Rule] Knapsack to ILP by @GiggleLiu in #688
• Fix #503: [Model] SchedulingWithIndividualDeadlines by @GiggleLiu in #678
• Fix #422: [Model] TwoDimensionalConsecutiveSets by @GiggleLiu in #673
• Fix #420: Add ConsecutiveBlockMinimization model by @GiggleLiu in #668
• Fix #497: [Model] SequencingToMinimizeWeightedCompletionTime by @GiggleLiu in #669
• Fix #255: Add SteinerTreeInGraphs model by @zazabap in #623
• Fix #91: [Rule] ClosestVectorProblem to QUBO by @GiggleLiu in #703
• Fix #571: Add QuantifiedBooleanFormulas model by @zazabap in #625
• Fix #120: [Rule] GraphPartitioning to MaxCut by @GiggleLiu in #707
• Fix #118: [Rule] GraphPartitioning to ILP by @GiggleLiu in #705
• Fix #125: [Rule] SubsetSum to ClosestVectorProblem by @GiggleLiu in #709
• Fix #123: [Rule] SteinerTree to ILP by @GiggleLiu in #708
• Fix #119: [Rule] GraphPartitioning to QUBO by @GiggleLiu in #706
• Fix #207: [Rule] MinimumVertexCover to MinimumFeedbackVertexSet by @GiggleLiu in #713
• Fix #330: Add MinMaxMulticenter (p-Center) model by @zazabap in #630
• Fix #289: Add ShortestWeightConstrainedPath model by @zazabap in #632
• Fix #143: [Model] NAESatisfiability by @GiggleLiu in #717
• Fix #714: [Model] KClique by @GiggleLiu in #715
• Fix #511: [Model] TimetableDesign by @GiggleLiu in #719
• Fix #452: [Model] ConsistencyOfDatabaseFrequencyTables by @GiggleLiu in #718
• Fix #209: [Model] MinimumHittingSet by @GiggleLiu in #720
• Fix #215: [Model] EnsembleComputation by @GiggleLiu in #721
• Fix #226: [Model] AcyclicPartition by @GiggleLiu in #723
• Add reproducible pred CLI commands to paper examples by @GiggleLiu in #724
• Fix #242: [Model] MixedChinesePostman by @GiggleLiu in #729
• Fix #245: [Model] StackerCrane by @GiggleLiu in #730
• Fix #240: [Model] BottleneckTravelingSalesman by @GiggleLiu in #727
• Fix #287: [Model] LongestCircuit by @GiggleLiu in #731
• Fix #202: [Rule] Partition to Knapsack by @GiggleLiu in #744
• Fix #258: [Rule] HamiltonianCircuit to TravelingSalesman by @GiggleLiu in #745
• Fix #290: [Model] IntegralFlowWithMultipliers by @GiggleLiu in #736
• Fix #292: [Model] IntegralFlowHomologousArcs by @GiggleLiu in #739
• Fix #288: [Model] LongestPath by @GiggleLiu in #734
• Fix #291: [Model] PathConstrainedNetworkFlow by @GiggleLiu in #738
• Fix #293: [Model] IntegralFlowBundles by @GiggleLiu in #740
• Fix #294: [Model] UndirectedFlowLowerBounds by @GiggleLiu in #741
• Fix #297: [Model] DisjointConnectingPaths by @GiggleLiu in #746
• Fix #301: [Model] MinimumDummyActivitiesPert by @GiggleLiu in #751
• Fix #407: [Model] RootedTreeArrangement by @GiggleLiu in #742
• Fix #411: [Model] CapacityAssignment by @GiggleLiu in #747
• Fix #408: [Model] ExpectedRetrievalCost by @GiggleLiu in #743
• Fix #409: [Model] RootedTreeStorageAssignment by @GiggleLiu in #749
• Fix #416: [Model] SparseMatrixCompression by @GiggleLiu in #752
• Fix #438: [Model] PartialFeedbackEdgeSet by @GiggleLiu in #755
• Fix #419: [Model] ConsecutiveOnesMatrixAugmentation by @GiggleLiu in #756
• Fix #440: [Model] GroupingBySwapping by @GiggleLiu in #758
• refactor: finish generalized aggregation migration by @GiggleLiu in #754
• Fix #762: Add 24 Tier 2 ILP reductions + backfill tests by @GiggleLiu in #763
• Add 39 Tier 3 ILP reductions + shared linearization helpers by @GiggleLiu in #767
• feat: add CustomizedSolver with structure-exploiting backends by @GiggleLiu in #766
• Fix #765: Upgrade 17 decision models to optimization (Group A + B) by @isPANN in #771
• Fix #764: Delete GraphPartitioning, make it an alias of MaxCut by @zazabap in #776
• Replace hardcoded canonical rule examples with ILPSolver calls by @isPANN in #775
• Fix #492: [Model] 3Partition by @GiggleLiu in #759
• feat: add 8 Tier 1a reduction rules (#770) by @zazabap in #777
• Fix #510: [Model] JobShopScheduling by @GiggleLiu in #760
• feat: add 12 Tier 1b high-confidence reduction rules (#770) by @zazabap in #779
• Fix #773: Add bf_vs_ilp tests for all ILP reduction rules by @isPANN in #778
• Fix #789: HC→StackerCrane connector cost prevents incorrect solution extraction by @isPANN in #7...

What's Changed

• fix(mcp): review fixes, multi-platform docs, remove Smithery by @GiggleLiu in #93
• Replace Polynomial overhead system with Expr AST by @GiggleLiu in #99
• test: add coverage for Expr overhead system and fix docs by @GiggleLiu in #100
• fix: CLI UX improvements from issue #86 by @GiggleLiu in #101
• feat: explicit variant declarations with complexity metadata by @GiggleLiu in #102
• feat: One weight IS↔SP variants, fix complexity metadata, enrich paper by @GiggleLiu in #106
• Enrich paper with examples, figures, and algorithm citations by @GiggleLiu in #111
• Fix #95: Add BinPacking model by @GiggleLiu in #96
• Fix #90: Add ClosestVectorProblem model by @GiggleLiu in #92
• Fix complexity inconsistencies, enforce overhead, add missing variants by @GiggleLiu in #112
• Recategorize problem models by input structure by @GiggleLiu in #113
• fix: CLI QA improvements — docs, display, auto-JSON by @GiggleLiu in #139
• Update references, docs, and check-issue skill by @GiggleLiu in #188
• fix: CLI QA improvements — creation, aliases, help, schemas by @GiggleLiu in #190
• Fix #191: Address 5 skill workflow issues by @zazabap in #195
• Fix #114: Add Knapsack model by @zazabap in #171
• feat: redundant rule detection via polynomial overhead comparison (#193) by @GiggleLiu in #194
• feat: display Big O notation in CLI output by @GiggleLiu in #263
• feat: display Big O notation in CLI output by @GiggleLiu in #592
• Fix #117: [Model] GraphPartitioning by @GiggleLiu in #570
• Fix #126: Add KSatisfiability to SubsetSum reduction by @GiggleLiu in #599
• fix: check-issue delegates overhead comparison to check-rule-redundancy by @zazabap in #593
• Fix paper citations from issue #126 and #117 reviews by @GiggleLiu in #613
• Fix #140: Add MinimumFeedbackVertexSet model by @isPANN in #596
• Fix #97: Add BinPacking to ILP reduction by @zazabap in #597
• Fix #165: Add MaximumIndependentSet to MaximumClique reduction by @zazabap in #606
• Fix #110: Add LongestCommonSubsequence model and LCS to ILP reduction by @zazabap in #598
• Fix #167: Add TravelingSalesman to QUBO reduction by @hmyuuu in #605
• Fix #164: MaximumClique to MaximumIndependentSet reduction by @zazabap in #604
• Fix #402: Add SubsetSum model by @zazabap in #602
• Improve fix-issue and fix-issue-batch skills by @isPANN in #641
• Fix #232: Add PartitionIntoTriangles model by @zazabap in #609
• Fix #248: Add RuralPostman model by @zazabap in #608
• Fix #218: Add SubgraphIsomorphism model by @zazabap in #607
• Fix #213: Add MinimumFeedbackArcSet model by @zazabap in #614
• Fix #399: Add MinSumMulticenter model by @zazabap in #635
• Fix #217: Add HamiltonianPath model by @zazabap in #621
• Fix #412: Add ShortestCommonSupersequence model by @zazabap in #627
• Fix #507: Add FlowShopScheduling model by @zazabap in #629
• Fix #244: Add IsomorphicSpanningTree model by @zazabap in #612
• Fix #406: Add OptimalLinearArrangement satisfaction problem by @zazabap in #616
• Fix batch of issues found in post-merge review by @GiggleLiu in #642
• Finalize structural example database by @GiggleLiu in #647
• Fix #116: Add Knapsack to QUBO reduction by @zazabap in #172
• Fix #491: Add ExactCoverBy3Sets model by @zazabap in #603
• Fix #220: Add MinimumTardinessSequencing model by @zazabap in #634
• refactor(pipeline): script deterministic workflow helpers by @GiggleLiu in #650
• perf: store example DB as fixtures, 850x faster export by @GiggleLiu in #651
• Fix #122: Add SteinerTree model by @zazabap in #192
• Fix #400: [Model] SetBasis by @GiggleLiu in #661
• Fix #298: [Model] LengthBoundedDisjointPaths by @GiggleLiu in #659
• Fix #296: [Model] UndirectedTwoCommodityIntegralFlow by @GiggleLiu in #658
• Fix #295: Add DirectedTwoCommodityIntegralFlow model by @GiggleLiu in #660
• Fix #253: [Model] MultipleChoiceBranching by @GiggleLiu in #656
• Refactor generated doc exports and remove centralized trait tests by @GiggleLiu in #676
• Fix #251: [Model] BoundedComponentSpanningForest by @GiggleLiu in #655
• Fix #219: [Model] SequencingWithinIntervals by @zazabap in #222
• Fix #230: Add BiconnectivityAugmentation model by @zazabap in #640
• Fix CLI compile errors from #640 merge by @isPANN in #691
• Fix #184: Add MinimumMultiwayCut model by @hmyuuu in #221
• Fix #233: [Model] StrongConnectivityAugmentation by @GiggleLiu in #652
• refactor(skills): update fix-issue, remove fix-issue-batch by @isPANN in #657
• Fix #239: [Model] BalancedCompleteBipartiteSubgraph by @GiggleLiu in #653
• Fix #401: [Model] ComparativeContainment by @GiggleLiu in #662
• Fix #141: Add MinimumFeedbackVertexSet to ILP reduction by @zazabap in #624
• Fix #212: [Model] MultiprocessorScheduling by @zazabap in #223
• Fix #512: [Model] StaffScheduling by @GiggleLiu in #682
• Fix #439: Add StringToStringCorrection model by @GiggleLiu in #675
• Fix #444: [Model] MinimumCardinalityKey by @GiggleLiu in #679
• Fix #414: [Model] LongestCommonSubsequence by @GiggleLiu in #666
• Fix #421: Add ConsecutiveSets model by @GiggleLiu in #670
• Fix #494: Add SequencingWithReleaseTimesAndDeadlines model by @zazabap in #633
• Fix StrongConnectivityAugmentation canonical example by @isPANN in #695
• Fix #403: Add SumOfSquaresPartition model by @GiggleLiu in #663
• Fix #697: Quote NP in Typst math mode by @zazabap in #698
• Fix #216: Add HamiltonianCircuit model by @GiggleLiu in #619
• Fix #185: [Rule] MinimumMultiwayCut to ILP by @GiggleLiu in #693
• Fix #249: [Model] KthBestSpanningTree by @isPANN in #692
• Refactor example_db: stored ground truth, human-friendly JSON, no static fixture by @GiggleLiu in #696

New Contributors

• @zazabap made their first contrib...

What's Changed

• feat: add pred CLI tool for problem reductions by @GiggleLiu in #82
• feat: add QUBO→ILP and CircuitSAT→ILP reductions by @GiggleLiu in #85
• feat(cli): CLI UX improvements by @GiggleLiu in #84
• fix: close completeness gaps from review-implementation audit (#88) by @GiggleLiu in #89

Full Changelog: v0.2.0...v0.3.0

What's Changed

• Design: trait system refactoring for contributor ergonomics by @GiggleLiu in #50
• perf: optimize pathdecomposition and add ground truth tests by @GiggleLiu in #54
• Fix #47: Add HamiltonianCycle model by @GiggleLiu in #57
• Remove weight type parameter from CircuitSAT and KColoring by @GiggleLiu in #56
• Fix #52: TravelingSalesman to ILP reduction by @GiggleLiu in #60
• Simplify variant system and clean up type hierarchy by @GiggleLiu in #66
• Add parity tests against Julia ProblemReductions.jl by @GiggleLiu in #65
• feat: variant-aware reduction paths with resolve_path by @GiggleLiu in #68
• Refactor: address KISS and DRY violations (#70) by @GiggleLiu in #71
• refactor: variant-level reduction graph with path-based API by @GiggleLiu in #72
• Fix #73: Refactor graph problem constructors to take graph as input by @GiggleLiu in #74
• Close Julia parity test gaps: BicliqueCover, BMF, SAT→CircuitSAT, reduction paths by @GiggleLiu in #75
• feat: add problem_size() to Problem trait with validation by @GiggleLiu in #76
• Reduce exported functions (#77) by @GiggleLiu in #79
• Rewrite getting-started with Factoring→SpinGlass and path overhead API by @GiggleLiu in #78
• Reduce exported functions (closes #77) by @GiggleLiu in #80

Full Changelog: v0.1.1...v0.2.0

Full Changelog: v0.1.0...v0.1.1

What's Changed

• feat: Feature parity with ProblemReductions.jl by @GiggleLiu in #4
• feat: Implement remaining reduction rules by @GiggleLiu in #7
• docs: Add reduction classification and detailed survey by @GiggleLiu in #9
• feat: Implement set-theoretic reduction path finding by @GiggleLiu in #12
• feat: Implement Factoring → ILP reduction (issue #21) by @GiggleLiu in #22
• feat: Implement integer programming solver for Coloring problem by @GiggleLiu in #20
• feat: Add grid graph mapping for unit disk reductions by @GiggleLiu in #13
• feat: Add problem variants, documentation improvements, and reduction macro by @GiggleLiu in #25
• Restructure tests: split test and source code by @isPANN in #27
• Implement 6 problem-to-QUBO reductions (Issue #18) by @GiggleLiu in #29
• docs: polish reductions.typ with theorem labels and cleanup by @GiggleLiu in #31
• JSON schema export & interactive reduction diagram (#33, #34) by @GiggleLiu in #36
• docs: replace Rust code with JSON schema tables in paper by @GiggleLiu in #38
• fix: use directed edges instead of bidirectional in reduction graph by @GiggleLiu in #42
• docs: improve example instances implementation plan by @GiggleLiu in #41

New Contributors

• @GiggleLiu made their first contribution in #4
• @isPANN made their first contribution in #27

Full Changelog: https://github.com/CodingThrust/problem-reductions/commits/v0.1.0