You may be interested in Penrose (https://penrose.ink https://penrose.ink) which generates graphics of math figures from equation. I don’t know if they have as

You may be interested in Penrose (https://penrose.ink https://penrose.ink) which generates graphics of math figures from equation. I don’t know if they have as much in the way of a constraint language, but it’s certainly in a similar vein of work, and I know they use some force directed layout.