A while back, I read on this forum that Octeract is free for academic use and that for commercial use it is also free but users are restricted to 1 core. I cannot find anything on the website to download or install this solver. Is this solver still available for free?