yfind

Search for translating patterns (a.k.a. spaceships) in cellular automata.

Building

You need git, stack, and z3.

git clone https://github.com/strake/yfind
chdir yfind
stack build

Using

For example, to search the rule B2o45/S2o45 for spaceships of maximum size (8,8) and speed (1,1)/3:

stack exec -- yfind -rB2o45/S2o45 -s'(8,8)' -v'(1,1)/3'