To solve the Gogen word game from the London Evening Standard using z3.
% pip install -r requirements.txt
% python solve_gogen.py <filename>
% python solve_gogen.py examples/london-evening-standard-2017-09-26.txt
Board:
D?X?M
?????
Q?C?T
?????
G?L?W
Remaining letters: ABEFHIJKNOPRSUVY
Words:
BOX
COEQUALITY
GULF
JOKY
MYTHICAL
NEAR
SCALP
STROBE
VEND
WHIP
Solving the Gogen...
Gogen solved.
Board:
DJXKM
NBOSY
QECRT
VUAIH
GFLPW
Remaining letters:
Words: