3 Commits

Author SHA1 Message Date
Karl Kroening
543cd1b4e3 #18: improve edge labelling 2017-07-06 02:32:30 -06:00
Karl Kroening
1955547202 #18: fix to use latest #17 changes 2017-07-06 02:24:40 -06:00
Karl Kroening
37c2094a9c Rename graph.py to _view.py; handle graphviz import errors; use tempfile 2017-07-05 22:30:00 -06:00