Solving The Witness with Z3 (Part 2)

Suns, regions and squares. Oh my!

Solving The Witness with Z3 (Part 1)

The first steps towards a solver for The Witness puzzles, introducing propositional logic and Z3.