[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:


Please drop me email about any bug(s) and suggestion(s): dennis(@)yurichev.com.