LGLilit Galstyaninlilit-tries.hashnode.dev·Sep 2 · 12 min readZ3 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, 00
