Mofivation for visualizations is it is very helpful and esthetically rewarding to see things in shape and color. Of course, we can draw Karnough maps and decision diagrams by hand, but why doing so, if it is possible to design a program, which will produce images like this faster and much more beautiful? In the past, I wrote some visual software using MFC (Microsoft Foundation Classes). Since then, my visualization development platform has moved to wxWindows. Currently, I do not have anything to share because this summer I worked on black-and-white command-line software for DD-based decomposition. In the future, I hope to return to visualization, in particular, develop a system for visualization of boolean networks. The need for such system is felt by myself and others working in the area of boolean networks restructuring.
Meanwhile, in my work, I often use the visualization opportunities provided by Graphviz an open source graphopen source graph drawing software project from AT&T Labs. In particular, for the visualization of decision diagrams (and other directed acyclic graphs) it is very helpful to use DOT software, which is part of the Graphviz package. CUDD and other BDD packages provide routines for writing the structure of the decision diagrams into DOT files, which can be converted into PostScript for easy viewing and printing.
Alan Mishchenko's Home Page