A graph coloring solver for a computational logic class assignment.