We were thinking of working on a graphical expression viewer for SMT-LIB expressions and had the thought that someone might already have one they would be willing to contribute to the community. Does someone have something like this? We are willing to improve it if it is rough, but it would be nice not to have to start from scratch. -Clark