Optimal coloring algorithm with JuMP formulation

[gdalle]

• Implement an optimal column/row coloring algorithm based on constraint programming in JuMP. This allows a very intuitive formulation of distance-2 coloring:
  • Objective: minmize the number of distinct colors
  • Constraint: the colors of the columns neighboring the same row should all be distinct
• Add tests showing that it gets results at least as good as those from the greedy algorithm

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 100.00%. Comparing base (b53dbf9) to head (eb383cd).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##              main      #271   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           17        19    +2     
  Lines         1962      1997   +35     
=========================================
+ Hits          1962      1997   +35     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.