yalmip/YALMIP

binary variables slips though kkt

johanlofberg opened this issue · 0 comments

johanlofberg commented 
binvar x
binvar y
kkt(x + y >= 1,x,y)