Relayout eval graph - Githubissues

ggrov / tinker

Graph based proof strategy language

http://ggrov.github.io/tinker/

6 stars 0 forks source link

Closed plebras closed 9 years ago

plebras commented 9 years ago

Currently goal nodes are positioned in (0,0) instead of in between nodes.