Logic Life Search is a program to search for patterns in Conway's Game of Life (and other cellular automata) by use of a SAT solver. It's similar to lifesrc, WinLifeSearch and Java Life Search.
LLS is hosted at GitLab and also mirrored to GitHub. Please make any issues and requests on the GitLab project and not on GitHub.
More information can be found in the conwaylife.com forum thread.