[MaxSAT] Game of life: getting maximum density still life

Previosly, in my SAT/SMT by Example book, I have written several examples for Game of Life, including still lives' generation. (Still life is a cellular automation that doesn't change.)

This time, I'm getting maximum density still life, i.e., the one with maximum number of cells.

Using Open-WBO MaxSAT solver, it can find a 13*13 still life for ~11 minutes on my ancient Intel Xeon E31220 @ 3.10GHz.

cells: 90
density: 0.532544

(Open-WBO has been switched to the fastest algorithm for the task, "LinearSU" (1st one).

The (Python 3) source code + libs.

See also: