gol-sat. A SAT-based forward/backwards solver for Conway's "Game of Life".

github.com/flopp/gol-sat
by @flopp

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.