Instructions for installing and running the code:

1. Install the CAPD library. The instructions for installation can be found on http://capd.ii.uj.edu.pl/. In the folder that contains the file you are reading the version of the CAPD library ("capd4_dynsys_20141029.zip") on which the proof was conducted is included. This CAPD version is a natural candidate for running the proof. The proof should also run though on the latest CAPD version, provided that the developers of the library have not changed some syntax conventions.

2. Unzip the "code_R3BP.zip" file and modify the "makefile" so that the line:

CAPDBINDIR = ...

points to the folder where the capd library has been installed.

3. The computer assisted proof can be compiled from code_R3BP folder by calling 

make
./R3BP

from terminal.

=========================
Suggested order of reading the files:

1 utils
2 conecond
3 LocalVField
4 ThreeBodyProblemVectorField
5 R3BP