Neat idea, though I didn't fully understand the details since I'm not experienced in constraint solvers. Might have to look into it. Games often lead to intere

Neat idea, though I didn't fully understand the details since I'm not experienced in constraint solvers. Might have to look into it. Games often lead to interesting computational problems. Another example - I was designing a solver for Flow [0] which made me think about graph problems and applications in e.g. circuit board wire routing. Intuitively it's easy, but translating that into logic is more challenging. [0] https://en.wikipedia.org/wiki/Flow_Free https://en.wikipedia.org/wiki/Flow_Free