This page is containing computer assisted parts of the paper titled Semidefinite Programming and Ramsey Numbers. A preliminary version of the paper can be downloaded here.
You can download the technical things as one archive