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.
Features
- 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