Eddi - An Editor for Diagrams of Directed Graph Structures
Eddi is a graphically interactive editor for diagrams
consisting of several directed graphs and of (relational)
graph homomorphisms inbetween.
Diagrams can be constructed manually,
and they can be extended by graph transformation steps:
- pushout of total graph homomorphisms
- pushout complement
- pushout of partial graph homomorphisms
- pullback of total graph homomorphisms
- pullback complement
- relational constructions
These transformation capabilities are implemented
using the RATH framework
for relational calculations.
Eddi is still under development.
Wolfram Kahl