I suspect they would say that the commercial value of their solver, for which no publicly available license exists, is some very high dollar amount which they w

I suspect they would say that the commercial value of their solver, for which no publicly available license exists, is some very high dollar amount which they will offer to you as a courtesy.