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 #791
• Add ILP solver backends (HiGHS, CPLEX, lp-solvers) and fix good_lp compatibility by @isPANN in #792
• Fix #513: [Model] ProductionPlanning by @GiggleLiu in #761
• Fix #548: [Model] CosineProductIntegration by @GiggleLiu in #684
• feat: add FeasibleBasisExtension model (#530) by @isPANN in #818
• Fix #532: [Model] IntegerKnapsack by @isPANN in #815
• feat: add QuadraticDiophantineEquations model (#543) by @isPANN in #812
• feat: add KthLargestMTuple model (#405) by @isPANN in #805
• feat: add SchedulingToMinimizeWeightedCompletionTime model + ILP rule by @isPANN in #809
• feat: add IntegerExpressionMembership model (#552) by @isPANN in #814
• Fix #515: [Model] RegisterSufficiency by @isPANN in #816
• Fix #441: Add MinimumExternalMacroDataCompression model by @isPANN in #819
• feat: add 11 Tier 1a + 1b medium-confidence reduction rules (#770) by @zazabap in #804
• feat: add 38 problem models by @isPANN in #960
• feat: add 10 reduction rules (#770) by @zazabap in #972
• feat: add 20 problem models with ILP rules by @isPANN in #976
• feat: batch implement 17 reduction rules with 14 new models by @GiggleLiu in #999
• fix(#974): add 39 example-db tests and 31 paper entries for reduction rules by @zazabap in #997
• refactor: schema-driven pred create (11K → 2.3K lines) by @GiggleLiu in #1008
• feat: add 11 medium-confidence reduction rules by @GiggleLiu in #1010
• feat: add verify-reduction skill by @zazabap in #979
• feat: Decision wrapper for optimization→decision conversion by @GiggleLiu in #1014
• feat: batch implement reduction rules (phases 1-3) by @GiggleLiu in #1017
• feat: batch add 14 reduction rules (hard rules phase 2) by @GiggleLiu in #1028
• feat: add find-solver and find-problem skills, fix KColoring/KN serialization by @GiggleLiu in #1040

Full Changelog: v0.4.0...v0.5.0