v0.4.0

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 contribution in #195
• @hmyuuu made their first contribution in #605

Full Changelog: v0.3.0...v0.4.0