Here you can obtain some TeXmacs files, Cadabra scripts, and source code for a C++ search program related to my article arXiv:1103.2732, "d = 11 Supergravity on almost flat R4 times a compact hyperbolic 7-manifold, and the dip and bump seen in ATLAS-CONF-2010-088."
Here is the C++ source code for a search for solutions in the H5 x S2 case.
Here is a TeXmacs file containing part of the investigation of the H4 x S3 case. And a Cadabra notebook mentioned in it.
The software on this website is licensed for use under the Free Software Foundation General Public License.