Yeah, you can also use Clingo [0] which is pretty popular and people have tried it specifically with WFC content generation [1]. You can even run it in the browser easily [2].

[0] https://potassco.org/clingo/

[1] https://adamsmith.as/papers/tog-wfc.pdf

[2] https://potassco.org/clingo/run/