GoL-SAT - a forward/backwards solver for the Game of Life
GoL-SAT is a SAT-based forward/backwards solver for Conways Game of Life.
Source code on Github.com
Forward simulation using the standard rules of Conways Game of Life
Backwards solving, i.e. find an initial configuration that leads to a specified configuration
, an open source, minimalistic SAT-solver