YALMIP
YALMIP copied to clipboard
Clean model from trivialities after enumeration in robustify
test_robust5/test13 suffers from trivial SOCPs when sedumi is used