The program csdp, by Brian Borchers, solves semidefinite programming problems and is available from http://www.coin-or.org/download/source/Csdp.