add link to file for exact solver