search

BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2 stars 4 forks source link

Legend for dot graphs #130

Open Aaron3154518 opened 2 years ago

Aaron3154518 commented 2 years ago

With all the new colors added to the dot graphs, we would like to generate a legend describing each.