SMAPO is a library of linear descriptions of low-dimensional 0/1-polytopes connected with small instances of combinatorial optimization problems:
http://www.iwr.uni-heidelberg.de/groups/comopt/software/SMAPO/
(I quoted the description from the website.)