I used combinatorial optimization to find 48-gate boolean formula that encodes rules of Conway's Game of Life

• gol.py

  3 14 3.2 Python

  efficient Game of Life in Python

This project (and choice of restrictions on gates) was motivated by the desire to make high performance GoL by relying on bit-level parallelism. My implementation of this approach in python runs at 1920x1080 resolution and 60 fps even on my crappy laptop, thanks to native bigints.

• or-tools

  57 10,466 9.9 C++

  Google's Operations Research tools:

  

I used MiniZinc to formalize the optimization problem and OR-Tools to perform the computation.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• logic-life-search

  1 - -

This is directly relevant to my interests because I'm the author of Logic Life Search, a program to find interesting patterns in CGoL by encoding the problem as an instance of SAT and solving it with a SAT solver. I might be able to use your formula to make the encoding more efficient, although it's not immediate because SAT solvers require their problems to be in conjunctive normal form.

Suggest a related project