The visuals are my hack for not forgetting Alloy syntax. In a pinch it acts like a pretty good diagram tool.
Have you ever written about how you use Alloy for things like this?
For visualization? I haven't. What would be interesting to write about in your opinion? I wrote a few posts about Alloy's syntax and how to use it for logic puzzles but it didn't go anywhere.
For visualization. There are a few text-to-model tools out there - PlantUML, Mermaid, ZenUML, for instance - but they're mostly aimed at OO, and if the authors are still working on them they're mainly looking at sequence diagrams.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.