Writing
Fun stuffs I found.
How I use Z3 and a validate-and-block loop to synthesize solvable Flow Free puzzles straight from the Unity Editor