Dear Sirs,
I installed today SeDuMi version 1.32 but I wonder if this is the latest version or not.
I read about a SeDuMi 1.34, but I have not found it anywhere. May I kindly ask you if 1.32 is the most recent version?
Thank you in advance.
Best regards,
Nicola