File	Date	Author	Commit
inputs	2013-05-01	Mike Playle	[dec961] Initial import
test-cases	2014-08-02	Mike Playle	[387952] Test cases for symmetry parameter
Makefile	2013-05-01	Mike Playle	[e3826e] Improve 'make clean'
README	2013-05-01	Mike Playle	[dec961] Initial import
bellman.c	2014-08-02	Mike Playle	[f5469d] Fix broken asymmetry test
bitwise.h	2013-05-01	Mike Playle	[d307d7] Fix some of GCC's fussier compiler warnings
envelope.c	2013-05-01	Mike Playle	[d307d7] Fix some of GCC's fussier compiler warnings
evolve_bitwise.c	2013-05-01	Mike Playle	[d307d7] Fix some of GCC's fussier compiler warnings
evolve_simple.c	2013-05-01	Mike Playle	[d307d7] Fix some of GCC's fussier compiler warnings
findstill.c	2013-05-01	Mike Playle	[f1888e] Changes (mostly casts) to make it build as C++
lib.c	2013-05-01	Mike Playle	[d307d7] Fix some of GCC's fussier compiler warnings
lib.h	2013-05-01	Mike Playle	[dec961] Initial import
makegif.c	2013-05-01	Mike Playle	[d307d7] Fix some of GCC's fussier compiler warnings
mkhtml.py	2013-05-01	Mike Playle	[dec961] Initial import
mkrule.py	2013-05-01	Mike Playle	[dec961] Initial import
mkstill.c	2013-05-01	Mike Playle	[d307d7] Fix some of GCC's fussier compiler warnings
readfile.c	2014-08-02	Mike Playle	[23187c] Add symmetry parameters
readwrite.h	2014-08-02	Mike Playle	[23187c] Add symmetry parameters
test_readwrite.c	2013-05-01	Mike Playle	[d307d7] Fix some of GCC's fussier compiler warnings
test_stabilise.c	2013-05-01	Mike Playle	[d307d7] Fix some of GCC's fussier compiler warnings
test_universe.c	2013-05-01	Mike Playle	[d307d7] Fix some of GCC's fussier compiler warnings
textconv.c	2013-05-01	Mike Playle	[f1888e] Changes (mostly casts) to make it build as C++
universe.c	2014-08-06	Mike Playle	[e21ee3] Find the correct tiles for negative coordinates
universe.h	2013-05-01	Mike Playle	[f1888e] Changes (mostly casts) to make it build as C++
writefile.c	2013-05-01	Mike Playle	[d307d7] Fix some of GCC's fussier compiler warnings

Read Me

Bellman (alpha release)                                    Mike Playle
=======                                                  Cambridge, UK
                                                            April 2013


This is my Life search program, in the state it was in when it found
the snark reflector. Here's a very quick look at how to make it do
something:

I run it on a 64 bit Linux machine. Compiling it follows the
conventional process of typing "make" and then fixing any errors you
might encounter. You'll need the "gd" library for writing GIF files
(try "libgd2-xpm-dev" on Ubuntu).

Once built, this search takes a minute or two and produces 47 results:

$ time ./bellman inputs/test.in 

The catalysts it finds are written to files ending in ".out". It also
writes a pair of GIF files for each result which can be used to build
a HTML page classifying and summarising its results:

$ python ./mkhtml.py .

The results produced by this stage are partial - they only contain
active catalytic regions, not entire still lives. The program
"mkstill" will assign values to the remaining unassigned cells to
produce a finished pattern that can be viewed in Golly or other Life
program:

$ ./mkstill result000001-4.out 
Best answer: 7
Best answer: 5
Best answer: 4
Best answer: 2
#P 5 2
.*......
..*.....
***.....
........
....**..
....*.*.
......*.
......**

As a more interesting example I've also included the input file which
found the snark reflector, as "inputs/snark.in".

Happy hunting!