Add types to symbolic graphs

Verites / verigraph

Software specification and verification system based on graph rewriting

https://verites.github.io/verigraph/

Apache License 2.0

37 stars 4 forks source link

Open ggazzi opened 7 years ago

ggazzi commented 7 years ago

Allow user-defined node/edge types in symbolic graphs. Allow user-defined attributes for each of these types.