WaveFunctionCollapse is constraint solving in the wild
answer set solving in practice .