graph-tools
XT -- A Bundle of Program Transformation Tools
The graph-tools package is a collection of tools for graph representation and manipulation.
Graph Format Conversion
Currently graph-tools supports the conversion of a subset of
GraphXML to
Dot.
Other Graph Formats
Other graph formats that might be supported by graph-tools in the future:
- Graph Term Format
- GraphML
- GXL
Related Packages and Tools
Tools.GraphTools moved from Stratego.GraphTools on 09 Feb 2005 - 07:50 by MartinBravenboer -
put it back