Use `layout` library to render transition systems

leonbohn / automata

MIT License

4 stars 0 forks source link

Use `layout` library to render transition systems #98

Open leonbohn opened 2 months ago

leonbohn commented 2 months ago

This way, we might be able to get rid of the dependency on graphviz and have a library that is fully self-contained. We could then render transition systems/automata without having to go through an external command.