SMAPO

SMAPO is a library of linear descriptions of low-dimensional 0/1-polytopes connected with small instances of combinatorial optimization problems.
 

Symmetric and Graphical Traveling Salesman polyhedra

(by T. Christof; M. Oswald & D.O. Theis)

Linear ordering polytope

(by T. Christof, S. Lörwald)

Cut polytope

(by T. Christof)

Bipartite Subgraph polytope

(by L. Galli and A.N. Letchford, S. Lörwald)

General 0/1-polytopes

(by T. Christof)