List of search programs: Difference between revisions
Jump to navigation
Jump to search
LLS |
→Modern programs: fix link and years for LLS |
||
| Line 50: | Line 50: | ||
| Small patterns | | Small patterns | ||
| Versatile program which can solve many CA search problems, such as finding [[oscillator]]s or [[predecessor]]s to patterns.<br />The method converts CA problems to boolean satisfiability problems, then feeds them to a SAT solver. | | Versatile program which can solve many CA search problems, such as finding [[oscillator]]s or [[predecessor]]s to patterns.<br />The method converts CA problems to boolean satisfiability problems, then feeds them to a SAT solver. | ||
| [https://gitlab.com/ | | [https://gitlab.com/OscarCunningham/logic-life-search GitLab repo] | ||
| {{year| | | {{year|2018}} - {{year|2025}} | ||
|- | |- | ||
| [[qfind]] | | [[qfind]] | ||
| Line 77: | Line 77: | ||
| {{year|2019}} - {{year|2019}} | | {{year|2019}} - {{year|2019}} | ||
|} | |} | ||
== Historical programs == | == Historical programs == | ||
The below list contains programs which are old and not in common use due to being outclassed by modern programs. | The below list contains programs which are old and not in common use due to being outclassed by modern programs. | ||
Revision as of 16:20, 29 July 2026
|
This page is under construction. Sorry for the inconvenience. |
This is a list of search programs used with cellular automata.
Modern programs
| Name | Author | Rulespace | Can find | Description | Link | Year (creation - last updated) |
|---|---|---|---|---|---|---|
| apgsearch | Adam P. Goucher | Versatile | Natural/semi-natural objects | Runs random seeds in an infinite universe and censuses the results. Results are uploaded to Catagolue. |
GitLab repo | 2015 - 2024 |
| Barrister | Mitchell Riley | Life only | Catalysed reactions, signal circuitry | An advanced, faster version of Bellman/dr2 using LifeAPI. | GitHub repo | 2022 - 2025 |
| CatForce | Michael Simkin and Mitchell Riley | Life only | Catalysed reactions, oscillators | Searches for catalyses by systematically placing catalysts next to an active region. Allows for transparent catalysts and symmetrical reactions. |
GitHub repo | 2015 - 2022 |
| ikpx2 | Adam P. Goucher | Versatile | Spaceships | Short for Incremental Knightship Partial eXtender, searches for spaceships using several different algorithms. Its predecessor, ikpx, was used to find Sir Robin. Can automatically submit to Catagolue. | GitLab repo | 2020 - 2024 |
| LLS | Oscar Cunningham | Isotropic | Small patterns | Versatile program which can solve many CA search problems, such as finding oscillators or predecessors to patterns. The method converts CA problems to boolean satisfiability problems, then feeds them to a SAT solver. |
GitLab repo | 2018 - 2025 |
| qfind | Matthias Merzenich | Isotropic | Orthogonal spaceships | A multithreaded tree spaceship searcher which employs ideas from gfind and ntzfind. Used to find 139P7H1V0. | GitHub repo | 2019 - 2025 |
| rlifesrc | AlephAlpha | Generations, Isotropic | Small patterns | A versatile program which can find small oscillators, spaceships, and other patterns. Also available as a web-based program. |
GitHub repo Webpage |
2019 - 2023 |
| spark_search | Chris Cain | Life only | Glider synthesis components | Golly Python script for finding glider synthesis components with a desired effect. | GitHub repo python3 version at end of post |
2019 - 2019 |
Historical programs
The below list contains programs which are old and not in common use due to being outclassed by modern programs.
| Name | Author | Rulespace | Can find | Description | Link | Year (creation - last updated) |
|---|---|---|---|---|---|---|
| CollisionsSearch | Guam | Life only | Catalysed reactions | A Windows-only GUI search program with a similar algorithm to CatForce. Used to discover the semi-Snark along with many new Herschel conduits. |
Forum post | 2013 - 2016 |