Ensure K.s is non-empty
Testing parameterized SDPs in optimizer
Incorrect comment in code
Make sure psd constants are removed from optimizer instantiation
Fixed header
Propagation of bounds incorrect when there were integer variables
Added convex hull generator for atan