Ipopt is not yet necessary but here are the details when it will be