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

github.com/flopp/gol-sat

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.