[SMT-LIB] expression browser

Clark Barrett barrett at cs.nyu.edu
Wed Sep 3 21:18:58 EDT 2008


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


More information about the SMT-LIB mailing list