translation to SAT

Added method for translating graph coloring problem to SAT problem