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
Used Technologies
  • MiniSAT, an open source, minimalistic SAT-solver