CatForce: Difference between revisions
Jump to navigation
Jump to search
Carson Cheng (talk | contribs) mNo edit summary |
mNo edit summary |
||
| (8 intermediate revisions by 3 users not shown) | |||
| Line 2: | Line 2: | ||
|name = CatForce | |name = CatForce | ||
|url = https://github.com/simsim314/CatForce | |url = https://github.com/simsim314/CatForce | ||
|purpose = | |purpose = Finding oscillators and conduits | ||
|createdby = [[Michael Simkin]] | |createdby = [[Michael Simkin]] | ||
|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]], [[Cribbage]] and [[74P34]]. | ||
==References== | ==References== | ||
| Line 20: | Line 20: | ||
}}</ref> | }}</ref> | ||
</references> | </references> | ||
==See also== | |||
* [[LifeAPI]] | |||
* [[QuFince]] | |||
==External links== | ==External links== | ||
* [https://github.com/simsim314/CatForce CatForce] on | * [https://github.com/simsim314/CatForce CatForce] on GitHub (original) | ||
* [https://github.com/mvr/CatForce/tree/depth-first-periodic CatForce] on | * [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) | ||
* {{LinkForumThread|format=ref|f=12|t=6038|title=CatForce port to INT attempt}} | |||
[[Category:Search software]] | |||
[[Category:Catalysts and catalyses]] | |||
Latest revision as of 14:48, 20 February 2026
| 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, Cribbage and 74P34.
References
- ↑ Mitchell Riley (May 10, 2022). Re: CatForce new catalyst search utility (LifeAPI based) (discussion thread) at the ConwayLife.com forums
See also
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)
- CatForce port to INT attempt (discussion thread) at the ConwayLife.com forums