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, Sep 2 · 12 min readlilit-tries.hashnode.dev
