Semidefinite Programming | Synapse