wordLife Use a SAT Solver to find initial states in Conway's Game of Life that evolve into words! It is as simple as: specify a word as a bit matrix: specify how many generations until the word appears. run the program