patoh2dot
Python
★ 3
updated 13y ago
▣ archived
A small Python script to convert PaToH input file format into its graphviz dot file representation ready to be fed into dot2tex.
No plain-English explanation yet — one is being written right now. Check back in a minute.