This repository has been archived by the owner on Jul 1, 2020. It is now read-only.
- Fixed names for all problems to maintain a better ordering.
- The TSTP solutions were generated using the last version of Metis.
- Added the link for Metis problems (prop-metis folder in problems).