Quick question, in Casadi you can formulate binary checks as part of your functions e.g. by using > and < operators. I have added such cost terms in my Acados NMPC and it seems to work but it is a little hard to validate. So I just wanted to ask here directly, is this supported?
Thanks for all your hard work creating this amazing framework!!