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