Semidefinite optimization | Synapse