2 ms·
I have a program called LLS that uses SAT solvers to find patterns with specified properties. https://conwaylife.com/wiki/Logic_Life_Search https://conwaylife.c
by OscarCunningham 4y ago
I have a program called LLS that uses SAT solvers to find patterns with specified properties. https://conwaylife.com/wiki/Logic_Life_Search https://conwaylife.com/wiki/Logic_Life_Search But it only works cell-by-cell, so it can't make big patterns like this.