CatForce: Difference between revisions
Jump to navigation
Jump to search
Carson Cheng (talk | contribs) mNo edit summary |
m formatting, reword |
||
| Line 6: | Line 6: | ||
|platform = Unix; Windows | |platform = Unix; Windows | ||
}} | }} | ||
'''CatForce''' is an optimized [[search program]] written by [[Michael Simkin]] in {{year|2015}}, | '''CatForce''' is an optimized [[search program]] written by [[Michael Simkin]] in {{year|2015}}, performing a brute-force enumeration of small [[Spartan]] objects in a limited area, instead of a depth-first tree search. One major purpose of CatForce is to find [[glider synthesis|glider-constructible]] completions for [[signal]] [[conduit]]s. An early CatForce discovery was the [[B60]] conduit, which enabled a [[Simkin glider gun|record-breaking new glider gun]]. | ||
In May {{year|2022}}, [[Mitchell Riley]] created a modification of CatForce, both significantly improving speed and adding a [[static symmetry|symmetry]] option.<ref name="post145414" /> This new version of the program was used to find numerous new oscillators, with some of the notable examples being the [[p84 honey farm hassler]], [[58P37]], and [[74P34]]. | In May {{year|2022}}, [[Mitchell Riley]] created a modification of CatForce, both significantly improving speed and adding a [[static symmetry|symmetry]] option.<ref name="post145414" /> This new version of the program was used to find numerous new oscillators, with some of the notable examples being the [[p84 honey farm hassler]], [[58P37]], and [[74P34]]. | ||
| Line 24: | Line 24: | ||
* [https://github.com/simsim314/CatForce CatForce] on Github (original) | * [https://github.com/simsim314/CatForce CatForce] on Github (original) | ||
* [https://github.com/mvr/CatForce/tree/depth-first-periodic CatForce] on Github (Mitchell Riley's modification) | * [https://github.com/mvr/CatForce/tree/depth-first-periodic CatForce] on Github (Mitchell Riley's modification) | ||
{{LinkLexicon|lex_c.htm#catforce}} | * {{LinkLexicon|lex_c.htm#catforce}} | ||
{{LinkForumThread|f=9|t=1678|title=CatForce new catalyst search utility (LifeAPI based)}} | * {{LinkForumThread|f=9|t=1678|title=CatForce new catalyst search utility (LifeAPI based)}} | ||
{{LinkForumThread|p=149317|title=Re: CatForce new catalyst search utility (LifeAPI based)}} (setup tutorial for symmetric CatForce) | * {{LinkForumThread|p=149317|title=Re: CatForce new catalyst search utility (LifeAPI based)}} (setup tutorial for symmetric CatForce) | ||
Revision as of 17:59, 25 November 2022
| CatForce | |
| Homepage | Click here |
|---|---|
| Purpose | Finding oscillators and conduits |
| Created by | Michael Simkin |
| Platform | Unix; Windows |
CatForce is an optimized search program written by Michael Simkin in 2015, performing a brute-force enumeration of small Spartan objects in a limited area, instead of a depth-first tree search. One major purpose of CatForce is to find glider-constructible completions for signal conduits. An early CatForce discovery was the B60 conduit, which enabled a record-breaking new glider gun.
In May 2022, Mitchell Riley created a modification of CatForce, both significantly improving speed and adding a symmetry option.[1] This new version of the program was used to find numerous new oscillators, with some of the notable examples being the p84 honey farm hassler, 58P37, and 74P34.
References
- ↑ Mitchell Riley (May 10, 2022). Re: CatForce new catalyst search utility (LifeAPI based) (discussion thread) at the ConwayLife.com forums
External links
- CatForce on Github (original)
- CatForce on Github (Mitchell Riley's modification)
- CatForce at the Life Lexicon
- CatForce new catalyst search utility (LifeAPI based) (discussion thread) at the ConwayLife.com forums
- Re: CatForce new catalyst search utility (LifeAPI based) (discussion thread) at the ConwayLife.com forums (setup tutorial for symmetric CatForce)