search

moves-rwth / stormvogel

Storm for almost everyone
2 stars 0 forks source link

Topological sort for displaying models #43

Open sjunges opened 3 months ago

sjunges commented 3 months ago

Many models that we consider, such as the NAND model, are acyclic. The current visualisation does not display these graphs left-to-right, but I think it would be great if it would do that. My guess is that we could do this by doing some topological sort to figure out some good hints for locations?

YouGuessedMyName commented 3 months ago

I think this is possible with the current visualization library but I'm not entirely sure.