List of search programs: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
LLS |
||
| Line 42: | Line 42: | ||
| [[Spaceships]] | | [[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]]. | | 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]]. | ||
| [https://gitlab.com/apgoucher/ikpx2 GitLab repo] | |||
| {{year|2020}} - {{year|2024}} | |||
|- | |||
| [[LLS]] | |||
| [[Oscar Cunningham]] | |||
| Isotropic | |||
| 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. | |||
| [https://gitlab.com/apgoucher/ikpx2 GitLab repo] | | [https://gitlab.com/apgoucher/ikpx2 GitLab repo] | ||
| {{year|2020}} - {{year|2024}} | | {{year|2020}} - {{year|2024}} | ||
Revision as of 15:31, 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 | 2020 - 2024 |
| 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 |