[SMT-LIB] expression browser

[Domagoj Babic]

Hi Clark,

If you'd be happy with an smt2dot translator, check out my smt2sf tool, which
is in public domain. It's just an smt parser, but adding a visitor that dumps
AST nodes in dot format would be rather trivial.

On Wed, Sep 3, 2008 at 6:18 PM, Clark Barrett <barrett at cs.nyu.edu> wrote:
> 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
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
>



-- 
 Domagoj Babic

 http://www.domagoj.info/
 http://www.calysto.org/