There seems to be somewhat of a myth that it's hard to get GraphViz diagrams to "look nice". I (obviously biased) feel that the diagrams I generated for my reference implementation of RETE look quite clean: https://github.com/bollu/rete#example-rete-diagrams-to-learn...