CatForce: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
symmetric CatForce |
||
| Line 7: | Line 7: | ||
}} | }} | ||
'''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}}, [[mvr]] 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 the [[p84 honey farm hassler]]. | |||
==References== | |||
<references> | |||
<ref name="post145414">{{LinkForumThread | |||
|format = ref | |||
|title = Re: CatForce new catalyst search utility (LifeAPI based) | |||
|p = 145414 | |||
|author = mvr | |||
|date = May 10, 2022 | |||
}}</ref> | |||
</references> | |||
==External links== | ==External links== | ||
* [https://github.com/simsim314/CatForce CatForce] on Github | * [https://github.com/simsim314/CatForce CatForce] on Github (original) | ||
* [https://github.com/mvr/CatForce CatForce] on Github (mvr'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)}} | ||
Revision as of 02:47, 11 May 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, mvr 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 the p84 honey farm hassler.
References
- ↑ mvr (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