Download the program

I have only tested the program on g++ and linux.
The version at the time of handing in the thesis can be downloaded here
Type "make" to compile the program, and "./run" to run it.

Download endgames

In the symmetric endgames like KRKR there is only the file for white-to-move, but this can also be used to index positions with black-to-move.

The endgames with suffix .dat is stored as as uncompressed tables.
The endgames with suffix .bdd is stored compressed as ordered binary decision diagrams.

The program must have been compiled with the define BOUND_KING set to 1.
To use the *.bdd files the define BDD_USE_COMPRESSED_ENCODING must also be set to 1.