Dado como entrada um arquivo de especificação de um grafo no formato DIMACS, transforma-se a instância em várias instâncias de Satisfabilidade Booleana para resolvê-las com uso do Mios (Minisat-based Implementation and Optimization Study on SAT solver). Código feito para a disciplina de Lógica Aplicada à Computação da UFOP. Ressalta-se que o trabalho se trata da redução de problemas para SAT e não tem o objetivo de ser eficiente em comparação com quaisquer algoritmos e heurísticas para coloração em grafos. Algumas instâncias podem ser encontradas aqui.