Exactcolors is a collection of algorithms for exactly solving graph coloring and weighted stable set problems. - View it on GitHub