rschwiebert
Completely automate generation of dot graphs
Currently the dot graphs are hand edited and I have a generate script that produces the svg to be used in the website.
It might now be possible to do this programmatically, now.
One could
- start with ringlogic.dl that souffle uses
- filter down to relevant rows
- remove redundant edges
I'm sure this is a completely reasonable programming task, or possibly there is a python library out there that can already do the third point (which I view as the only tricky bit.)
I think so! Well spotted. I forgot all about networkx.
On Thu, Feb 29, 2024 at 7:40 AM dyunov @.***> wrote:
Could this https://networkx.org/documentation/stable/reference/algorithms/generated/networkx.algorithms.dag.transitive_reduction.html help with 3)?
— Reply to this email directly, view it on GitHub https://github.com/rschwiebert/RingApp/issues/59#issuecomment-1971056533, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACB6GGBBUTCPNJV3KPSTZ4TYV4QSBAVCNFSM6AAAAABBZRTVPKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTSNZRGA2TMNJTGM . You are receiving this because you authored the thread.Message ID: @.***>