search

yalmip / YALMIP

MATLAB toolbox for optimization modeling
https://yalmip.github.io/
Other
463 stars 134 forks source link

binary variables slips though kkt #1400

Closed johanlofberg closed 1 month ago

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