CatForce: Difference between revisions
Jump to navigation
Jump to search
Carson Cheng (talk | contribs) mNo edit summary |
Carson Cheng (talk | contribs) mNo edit summary |
||
| Line 8: | Line 8: | ||
'''CatForce''' is an optimized [[search program]] written by [[Michael Simkin]] in {{year|2015}}, using 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]]. | '''CatForce''' is an optimized [[search program]] written by [[Michael Simkin]] in {{year|2015}}, using 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 [[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]]. | ||
==References== | ==References== | ||
Revision as of 13:41, 19 August 2022
| CatForce | |
| Homepage | Click here |
|---|---|
| Purpose | Enumeration of small Spartan objects |
| Created by | Michael Simkin |
| Platform | Unix; Windows |
CatForce is an optimized search program written by Michael Simkin in 2015, using 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 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)