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.



  • 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

Used Technologies

  • MiniSAT, an open source, minimalistic SAT-solver