This is very cool! I hope this gets released--even if it's a rough prototype, I would still use it in its current state. Like others (apparently), I started wr

This is very cool! I hope this gets released--even if it's a rough prototype, I would still use it in its current state. Like others (apparently), I started writing a system remarkably similar to this earlier this year. I just wanted to generate some simple diagrams programmatically, and went down the rabbit hole of creating a Python library to combine Z3 with SVG generation. For whatever reason, I was getting awful performance from Z3, so I started writing my own constraint solver. That ended up being a lot more of a pain than I had the patience to deal with, so I abandoned it.