ply
pysmt
graphviz
