⚡ Improved performance of SAT-based clock number assignment#449

Open

marcelwa wants to merge 3 commits intomainfrom sat-clocking-cp-symmetry-breaking

+27-14

Commits on Jun 1, 2024

⚡ Improved the performance of the SAT instance by consistently using the critical path (instead of a random path) for symmetry breaking
marcelwa
committed

Commits on Jun 28, 2024

Merge branch 'main' into sat-clocking-cp-symmetry-breaking
marcelwa
authored

Commits on Aug 16, 2024

Merge branch 'main' into sat-clocking-cp-symmetry-breaking
marcelwa
authored