my tools to search for Gardens of Eden in Conway's Game of Life. see http://www.conwaylife.com/wiki/Garden_of_Eden collection/ some GoEs in text format. counter/ kind of library to explicitly count all parents. with good strategy (par_x/par_y) could be much faster than any SAT. optimizer/ reducer trying to remove each cell and check if it's still GoE. sat/ kind of library to use SAT solvers from c++ code, with wrappers around picosat and cryptominisat5 *.pl constructors of SAT configurations