Z3 to cool graphs to timetable schedules Interval edge coloring of complete tripartite graphs12 min read·lilit-tries.hashnode.devSep 2