A C library for semidefinite programming