4 ms·
To answer myself -- there is an open issue and pull request for graph layout. https://github.com/penrose/penrose/pull/332 https://github.com/penrose/penrose/pu
by emmelaich 6y ago
To answer myself -- there is an open issue and pull request for graph layout.
https://github.com/penrose/penrose/pull/332 https://github.com/penrose/penrose/pull/332