Designing Game of Life mosaics with integer programming

We use integer programming to design sets of tiles that can be interpreted as still lifes or phoenix patterns in Conway's Game of Life.