CatForce: Difference between revisions
Jump to navigation
Jump to search
→External links: https://conwaylife.com/forums/viewtopic.php?f=12&t=6038 |
mNo edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| Line 8: | Line 8: | ||
'''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]]. | '''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 26: | Line 26: | ||
==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)}} | ||
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