We try to keep popular problem libraries installed in COR@L. Users can use the problems sets and they do not need to store them in their home folders. The problem libraries we have are
These problem libraries are installed in
/home/software/share. For frequent users creating soft links to these libraries may be more convenient. For this you can use the following commands;
ln -s /home/software/share/miplib3 miplib
ln -s /home/software/share/tsplib tsplib
ln -s /home/software/share/cblib2014 cblib
Please let system admins (Aykut, Ali, or Suresh) know if you need benchmark libraries other than these.