Semi-Definite Matrix Constraints in Optimization | Synapse