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?
Thanks for your interest. We discontinued the free version in 2022 due to various reasons, and the solver has been a paid product for all audiences ever since.
Our Neural service is free, but it's limited to 1MB/file for non-enterprise users due to compute costs. Note that, for the same reason, the free Neural model is our Neural Feasibility model. This means that it will instantly produce a feasible point, but does not do global (or local) optimisation.