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)

Cut polytope

(by T. Christof)

Bipartite Subgraph polytope

(by A.N. Letchford)

General 0/1-polytopes

(by T. Christof)