This folder contains copies of archives that the prob_prolog build scripts download This folder is used in case of network problems when the original sites are not available Currently used by: prob_prolog/extensions/satsolver/Makefile for GLUCOSE_ARCHIVE