\myheading{Conway's ``Game of Life''}

\renewcommand{\CURPATH}{CA/GoL}

\leveldown{}

\input{\CURPATH/reverse}
\input{\CURPATH/still}

\myheading{The source code}

Source code and Wolfram Mathematica notebook: \url{\RepoURL/\CURPATH}.

\myheading{Further reading}

Marijn Heule is known to be working on applying SAT solvers to GoL:
\url{http://conwaylife.com/wiki/Marijn_Heule}.

See also:
\url{http://conwaylife.com/wiki/SAT_solver},
\url{http://conwaylife.com/wiki/Logic_Life_Search}.

\levelup{}