Pinned Loading
-
IncSatGC-release
IncSatGC-release PublicSource code of IncSatGC, providing several satisfiability-based algorithms for the graph coloring problem
C++ 2
-
ddcolors
ddcolors PublicMy reimplementation of van Hoeve's graph coloring algorithm using decision diagrams.
C++
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
You can’t perform that action at this time.