rename to SemidefiniteProgramming.jl