CatForce/Snippet
Jump to navigation
Jump to search
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. 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.