I remember posted on here was a github project which integrated CSP solvers etc. to bring deterministic analysis into LLMs to more efficiently solve problems. Anyone remember the name of this project?
