Constraint Programming and Hybrid Formulations for Life

Conway’s game of Life provides an interesting testbed for exploring issues in formulation, symmetry, and optimization with constraint programming and hybrid constraint programming/integer programming methods.