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.)