Results of truss problems

• trto are problems from single-load truss topology design. Normally formulated as LPs, here reformulated as SDPs for testing purposes (see, eg,  Kocvara-Zowe).
  
• vibra are single load truss topology problems with a vibration constraint. The constraint guarantees that the minimal self-vibration frequency of the optimal structure is bigger than a given value; see Kocvara.
  
• buck are single load truss topology problems with linearized global buckling constraint. Originally a nonlinear matrix inequality,  the constraint should guarantee that the optimal structure is mechanically stable (does not buckle); see Kocvara.