v0.3.0

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

v0.2.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

v0.1.1

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

v0.1.0

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