GraphEd is an Interactive, Extensible Editor For Graphs and Graph Grammars with lots of Layout and other Algorithms. 

Homepage: http://www.infosun.fmi.uni-passau.de/GraphEd/ 


The GraphEd format (GEF) is described in:
	* http://www.fmi.uni-passau.de/~himsolt/publications/FileFormat.ps.gz
	* http://citeseer.nj.nec.com/140899.html

GraphEd papers:
	* http://www.idealibrary.com/links/doi/10.1006/jvlc.1995.1015
	* http://citeseer.nj.nec.com/85710.html
	* http://citeseer.nj.nec.com/79589.html