True, but Libertarian convention is in late May. I doubt that Trump will have given up on the R nomination at that time.
It would be a brilliant move for him to run as a candidate of the Livertarians while pursuing the republican nomination.