Yes, there is so much potential to integrate diagramming and recent work on constraint solvers including SAT solvers, but also very difficult to make such syste

Yes, there is so much potential to integrate diagramming and recent work on constraint solvers including SAT solvers, but also very difficult to make such systems usable and convenient. There is a lot of hackery in graphviz that seems difficult to recreate in a general context. It would help if graphviz could be brought up to date or moved to a better environment for doing new work.