>> relicensing the solver library as LGPL My take is that's still not possible because we dropped the CLA. In the past it may have been unlikely because the o

>> relicensing the solver library as LGPL My take is that's still not possible because we dropped the CLA. In the past it may have been unlikely because the original author offered the solver under paid terms for commercial use and LGPL would allow commercial use without paying. I'm not sure what my own contribution to that part is, but I'd sooner offer GPLv2 as an option over LGPL.