CatForce: Difference between revisions

From LifeWiki
Jump to navigation Jump to search
mNo edit summary
mNo edit summary
Line 2: Line 2:
|name      = CatForce
|name      = CatForce
|url      = https://github.com/simsim314/CatForce
|url      = https://github.com/simsim314/CatForce
|purpose  = Enumeration of small [[Spartan]] objects
|purpose  = Finding oscillators and conduits
|createdby = [[Michael Simkin]]
|createdby = [[Michael Simkin]]
|platform  = Unix; Windows
|platform  = Unix; Windows

Revision as of 10:13, 29 August 2022

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, 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

  1. ↑ Mitchell Riley (May 10, 2022). Re: CatForce new catalyst search utility (LifeAPI based) (discussion thread) at the ConwayLife.com forums
  • CatForce on Github (original)
  • CatForce on Github (Mitchell Riley's modification)