patoh2dot. A small Python script to convert PaToH input file format into its graphviz dot file representation ready to be fed into dot2tex.

github.com/vy/patoh2dot

Problem

Audience

Updates

No founder updates yet. Check back soon.