5 ms·
DOT/GraphViz [1] is very powerful. You might find it a bit unwieldy at first but, as with everything, editing in plain text is often faster than trying to use a
by rossng 13y ago
DOT/GraphViz [1] is very powerful. You might find it a bit unwieldy at first but, as with everything, editing in plain text is often faster than trying to use a GUI.
For extremely simple stuff, you can use TGF [2] to represent the graph and something like yEd [3] to view it.
None of these tools have any real provision for structured proofs etc., but that could be built.
[1] http://www.graphviz.org/Documentation/dotguide.pdf http://www.graphviz.org/Documentation/dotguide.pdf
[2] http://docs.yworks.com/yfiles/doc/developers-guide/tgf.html http://docs.yworks.com/yfiles/doc/developers-guide/tgf.html
[3] http://www.yworks.com/en/products_yed_about.html http://www.yworks.com/en/products_yed_about.html
- pcmonk 13y agoI've seen DOT/GraphViz before, but I think its complexity put me off a bit. I'll give it another shot. The other tools have promise as well.
- Natsu 13y agoIt's not that complex, actually. Here's how the basic usage works: you have a text file containing something like this for an undirected graph -- graph graphname { a -- b -- c; b -- d; } -- or like this for a directed graph (the -> arrows show you which direction the links are going): digraph graphname { a -> b -> c; b -> d; } You can break up that first line into a -> b and b -> c and get the same graph if you want. It's not necessary here but it is when you have lots of outgoing links from the same node. The other things you can type in are basically formatting options for the various utilities. You then feed these text files to various command line tools to do things like get a PNG of your graph: dot -Tpng my_text_file.dot -o my_graph_image.png That's it. The rest is just playing with it to get what you want.
- pcmonk 13y agoAh, well, that doesn't look so bad. I'll have to play around with it. Thanks.
- Natsu 13y agoYeah, it's more the size of it that comes off as imposing at first. I was able to find a decent tutorial when I had to use it and went through the very basic usage of "make a graph and get a PNG with a few formatting options" but there's a lot more available if you have need of it.
- retr0h 13y agoYeah, +1 for Graphviz. Has worked well for me in the past.
- naftaliharris 13y agoI've made "proof graphs" with GraphViz, but honestly it was something of a challenge to make them look how I wanted them to. Compared to the time I spent drawing the graph on paper, (ie, collecting the statements and theorems), making the GraphViz version look okay took a long time. http://www.naftaliharris.com/blog/mc-graph/ http://www.naftaliharris.com/blog/mc-graph/ http://www.naftaliharris.com/blog/mg-graph/ http://www.naftaliharris.com/blog/mg-graph/
- pcmonk 13y agoThose graphs are good examples of what I want to be able to make. You bring up a critically important point, though: I must be able to write graphs very quickly, easily, and painlessly, like I use vim to write text or Trello for to-do lists. Most tree-editing interfaces are painfully inefficient and slow to use (and are far too reliant on the mouse).
- Natsu 13y agoSpeaking as someone who has used graphvis before, those examples are one possible mode of output. The input for the graphvis programs are plain text files. See: https://en.wikipedia.org/wiki/DOT_%28graph_description_language%29 https://en.wikipedia.org/wiki/DOT_%28graph_description_langu...
- hyp0 13y agoTouch screens might help.
- joeld42 13y agoAgreed. When I read this article my first thought was, "What about dot"? It can get complex, but the basic syntax is as simple as what this article suggests.
- pcmonk 13y agoTo be clear, the syntax I suggested in the article is what I want it to look like, not what I want to type in. It takes far too long to type most of those (except the lisp-style one). I would like to be able to add nodes as easily as I add cards in Trello.
- q234 13y agodude, it's called http://nestgrid.org http://nestgrid.org. Add and rearrange nodes to your heart's content, in a beautiful ui resembling text editor or an IDE.
- pixelglow 13y agoI wrote an iOS app around Graphviz called http://instaviz.com http://instaviz.com, you can create fairly sophisticated DOT files with shape sketching and linking and without delving into the underlying DOT language.
- tobinharris 13y agoyUML is pretty good for just drawing Graphs. It's built on GraphViz. E.g. http://yuml.me/1ec584ad http://yuml.me/1ec584ad http://yuml.me/1ec584ad.svg http://yuml.me/1ec584ad.svg http://yuml.me/1ec584ad.json http://yuml.me/1ec584ad.json http://yuml.me/edit/1ec584ad http://yuml.me/edit/1ec584ad