YALMIP
YALMIP copied to clipboard
floor is missing a margin to get strict inequality
https://github.com/yalmip/YALMIP/blob/07caec843c9ba6946417f44b0f906fecbee680a1/%40sdpvar/floor.m#L23
same in ceil etc