Set of constrained and unconstrained optimization programs culminating in a semidefinite program solver