🐛 Fixed a bug in SAT-based graph coloring

[marcelwa]

This bug occurred when clique information was provided for mutex cliques of the same size. The SAT solver would then not be able to find a proper coloring anymore and the attempt would fail.

Many thanks to @simon1hofmann for reporting!

[github-actions]

clang-tidy review says "All clean, LGTM! 👍"

[codecov]

Codecov Report

Merging #100 (5959cdc) into main (2967cd0) will increase coverage by 0.03%.
The diff coverage is 100.00%.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #100      +/-   ##
==========================================
+ Coverage   93.63%   93.67%   +0.03%     
==========================================
  Files          58       58              
  Lines        6083     6087       +4     
==========================================
+ Hits         5696     5702       +6     
+ Misses        387      385       -2     

Impacted Files	Coverage Δ
...nclude/fiction/algorithms/graph/graph_coloring.hpp	96.34% <100.00%> (+0.04%)	⬆️
...ction/algorithms/physical_design/color_routing.hpp	95.65% <0.00%> (+2.17%)	⬆️
include/fiction/utils/stl_utils.hpp	100.00% <0.00%> (+5.88%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 2967cd0...5959cdc. Read the comment docs.