Does anyone know of a tool that draws graphs that obey angular constraints? I made a tool that drew acyclic graphs this way [1] but for graphs containing cycles it suddenly becomes a nonlinear problem that (I think) needs CAD-style geometric constraint solving. I plan to implement this sort of thing in the tool eventually, but it'd be easier if there was something already available.
i think you could fairly easily encode the layout/constraint solving portion of that as an SMT problem in nonlinear real arithmetic. which dReal should be able to solve https://dreal.github.io/
[1] https://github.com/SeanDS/optivis