Andreas Klöckner authored Sep 17, 2023 and Andreas Klöckner committed Sep 17, 2023

Symbolic processing in grudge has not been a thing for a while.

* remove show_dot from pymbolic

Moved to pytools.dot

* change required version

* update to graphviz.py

* Bump pytools requirement to a version containing the moved code

* Add deadline to show_dot deprecation

Co-authored-by: Andreas Kloeckner <inform@tiker.net>