Hi,
hope you are doing great!!!

I use Ubuntu 24.04 (Noble) and noticed that there are available packages only for Ubuntu 20.04 and 22.04.

I tried anyway to download the 22.04 repositories, but could not since there is not a "noble" release file in https://ppa.launchpadcontent.net/dreal/dreal/ubuntu.

Is there a way to use dreal on Ubuntu 24.04 or i should move to a different release.?

Thanks!