Z3 to cool graphs to timetable schedules

Z3 to cool graphs to timetable schedules Interval edge coloring of complete tripartite graphs What is Z3? Imagine there was a goldfish that would solve any problem; well, that is actually a goldfish,