The program csdp, by Brian Borchers, solves semidefinite programming problems and is available from http://www.coin-or.org/download/source/Csdp.
The source of this document is in Macaulay2Doc/ov_preface.m2:105:0.