List of search programs: Difference between revisions

From LifeWiki
Jump to navigation Jump to search
← Older edit
Melwin22 (talk | contribs)
Trusted users
135 edits
qfind
Added spaceinvaders.
 
(13 intermediate revisions by 4 users not shown)
Line 6: Line 6:
|-
|-
! Name
! Name
! Author
! Author(s)
! Rulespace
! Rulespace
! Can find
! Can find
Line 20: Line 20:
| [https://gitlab.com/apgoucher/apgmera GitLab repo]
| [https://gitlab.com/apgoucher/apgmera GitLab repo]
| {{year|2015}} - {{year|2024}}
| {{year|2015}} - {{year|2024}}
|-
| apgspaceinvaders
| jedlimlx
| Versatile
| [[Natural]]/semi-natural objects
| Modification of apgsearch that accepts two additional parameters: maximum population and maximum number of generations. Soups that exceed these maxima are discarded, which allows for running explosive or almost explosive rules.
| [https://github.com/jedlimlx/apgspaceinvaders GitHub repo]
| {{year|2022}} - {{year|2024}}
|-
|-
| [[Barrister]]
| [[Barrister]]
| [[Mitchell Riley]]
| [[Mitchell Riley]]
| Life only
| Life only
| [[Catalyst|Catalysed]] [[Reaction|reactions]], [[Circuit|signal circuitry]]
| [[Catalyst|Catalysed]] [[reaction]]s, [[Circuit|signal circuitry]]
| An advanced, faster version of Bellman/dr2 using [[LifeAPI]].
| An advanced, faster version of Bellman/dr2 using [[LifeAPI]].
| [https://github.com/mvr/barrister GitHub repo]
| [https://github.com/mvr/barrister GitHub repo]
Line 32: Line 40:
| [[Michael Simkin]] and [[Mitchell Riley]]
| [[Michael Simkin]] and [[Mitchell Riley]]
| Life only
| Life only
| [[Catalyst|Catalysed]] [[Reaction|reactions]], [[Oscillator|oscillators]]
| [[Catalyst|Catalysed]] [[reaction]]s, [[oscillator]]s
| Searches for catalyses by systematically placing catalysts next to an active region. <br />Allows for transparent catalysts and symmetrical reactions.
| Searches for catalyses by systematically placing catalysts next to an active region. <br />Allows for transparent catalysts and symmetrical reactions.
| [https://github.com/mvr/CatForce/tree/depth-first-periodic GitHub repo]#
| [https://github.com/mvr/CatForce/tree/depth-first-periodic GitHub repo]
| {{year|2015}} - {{year|2022}}
| {{year|2015}} - {{year|2022}}
|-
| [[EnumPattEvo]] (EPE)
| [[AforAmpere]]
| Versatile
| [[Rule]]s supporting specific [[evolution]]s of patterns.
| Enumerates all stable patterns with set parameters whose evolutions contain a given starting pattern in various [[CA]] [[rulespace]]s.
| [https://github.com/AforAmpere/EnumPattEvo GitHub repo]
| {{year|2020}} - {{year|2026}}
|-
|-
| [[ikpx2]]
| [[ikpx2]]
Line 44: Line 60:
| [https://gitlab.com/apgoucher/ikpx2 GitLab repo]
| [https://gitlab.com/apgoucher/ikpx2 GitLab repo]
| {{year|2020}} - {{year|2024}}
| {{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/OscarCunningham/logic-life-search GitLab repo]
| {{year|2018}} - {{year|2025}}
|-
| [[LLSSS]]
| [[Keith Amling]]
| Isotropic
| Spaceships
| A Rust-based spaceship searcher with more unique functionality compared to other spaceship search programs.
| [https://codeberg.org/amling/rlife Codeberg repo]
| {{year|2022}} - {{year|2026}}
|-
|-
| [[qfind]]
| [[qfind]]
Line 52: Line 84:
| [https://github.com/Matthias-Merzenich/qfind GitHub repo]
| [https://github.com/Matthias-Merzenich/qfind GitHub repo]
| {{year|2019}} - {{year|2025}}
| {{year|2019}} - {{year|2025}}
|-
| [[rlifesrc]]
| [[AlephAlpha]]
| Generations, Isotropic
| Small patterns
| A versatile program which can find small [[oscillator]]s, [[spaceship]]s, and other patterns. <br /> Also available as a web-based program.
| [https://github.com/AlephAlpha/rlifesrc GitHub repo]<br />[https://alephalpha.github.io/rlifesrc/ Webpage]
| {{year|2019}} - {{year|2023}}
|-
| [[Silk]]
| [[Adam P. Goucher]]
| Life only
| [[Circuit|signal circuitry]]
| A CGoL drifter search program that employs CUDA and parallelism to search up to thousands of times faster than Barrister, hence the name "silk" to reflect a senior barrister.
| [https://gitlab.com/apgoucher/silk GitLab repo]
| {{year|2024}} - {{year|2025}}
|-
| spark_search
| [[Chris Cain]]
| Life only
| [[Glider synthesis]] [[Synthesis component|component]]s
| Golly Python script for finding glider synthesis components with a desired effect.
| [https://github.com/ceebo/spark_search GitHub repo]<br />[https://conwaylife.com/forums/viewtopic.php?p=85119#p85119 python3 version at end of post]
| {{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.
Line 73: Line 130:
| {{year|2013}} - {{year|2016}}
| {{year|2013}} - {{year|2016}}
|-
|-
|  
| gsearch
|  
| [[David Eppstein]]
|  
| Outer-totalistic
|  
| [[Natural]] objects
|  
| Performs a brute force search of all patterns fitting within a small rectangle.<br />Recognizes [[spaceship]]s, [[oscillator]]s, unstable oscillators, [[replicator]]s, and some [[puffer]]s.
|  
| [https://ics.uci.edu/~eppstein/ca/gsearch.c Source code]
|  
| 19?? - {{year|1998}}
|-
| RandomAgar
| [[Gabriel Nivasch]]
| Outer-totalistic
| Agars
| Generates random spatially periodic patterns, and runs them until they oscillate, with support for all symmetries.
| [https://conwaylife.com/forums/viewtopic.php?p=13835#p13835 Forum post with ZIP containing Windows executable]<br />[https://drive.google.com/file/d/1nmK1RW6sFv5Inma96t8iey5AIh_LrZ9U/view Google Drive link with ZIP containing source code]
| {{year|2002}} - {{year|2014}}
|}
|}
== See also ==
== See also ==
* [[Tutorials/Software]]
* [[Tutorials/Software]]
[[Category:Everything else]]
[[Category:Software]]
[[Category:Search software]]

Latest revision as of 16:45, 5 September 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(s) 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
apgspaceinvaders jedlimlx Versatile Natural/semi-natural objects Modification of apgsearch that accepts two additional parameters: maximum population and maximum number of generations. Soups that exceed these maxima are discarded, which allows for running explosive or almost explosive rules. GitHub repo 2022 - 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
EnumPattEvo (EPE) AforAmpere Versatile Rules supporting specific evolutions of patterns. Enumerates all stable patterns with set parameters whose evolutions contain a given starting pattern in various CA rulespaces. GitHub repo 2020 - 2026
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
LLSSS Keith Amling Isotropic Spaceships A Rust-based spaceship searcher with more unique functionality compared to other spaceship search programs. Codeberg repo 2022 - 2026
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
Silk Adam P. Goucher Life only signal circuitry A CGoL drifter search program that employs CUDA and parallelism to search up to thousands of times faster than Barrister, hence the name "silk" to reflect a senior barrister. GitLab repo 2024 - 2025
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
gsearch David Eppstein Outer-totalistic Natural objects Performs a brute force search of all patterns fitting within a small rectangle.
Recognizes spaceships, oscillators, unstable oscillators, replicators, and some puffers. 		Source code 19?? - 1998
RandomAgar Gabriel Nivasch Outer-totalistic Agars Generates random spatially periodic patterns, and runs them until they oscillate, with support for all symmetries. Forum post with ZIP containing Windows executable
Google Drive link with ZIP containing source code 		2002 - 2014

See also

Retrieved from "https://conwaylife.com/w/index.php?title=List_of_search_programs&oldid=175206"