[practice9]

With LLMs that even might be automated

[ben_w]

Constraint solvers would be a better choice, IMO.

LLMs may help convert the text into a form for the constraint solvers, but they're not the tool I'd use for actually connecting the dots.