Logic-life-search Alternatives

Similar projects and alternatives to logic-life-search

or-tools

57 10,466 9.9 C++ logic-life-search VS or-tools

Google's Operations Research tools:
gol.py

3 14 3.2 Python logic-life-search VS gol.py

efficient Game of Life in Python
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.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better logic-life-search alternative or higher similarity.

Suggest an alternative to logic-life-search

logic-life-search reviews and mentions

Posts with mentions or reviews of logic-life-search. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-07-10.

I used combinatorial optimization to find 48-gate boolean formula that encodes rules of Conway's Game of Life
3 projects | /r/math | 10 Jul 2022

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.