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.