https://alprielse.xyz/posts/ai-coding-tools-are-csp-solvers/