SMT files for the graph coloring example will be generated here.