Please consider another license about ikos HOT 8 OPEN

I was evaluating it for Mozilla (for Firefox in particular) but also to package it in Debian/Ubuntu.
However I won't start any work on this as the NOSA license isn't considered as free.

from ikos.

A few weeks ago, I asked the lawyers if we could chance the license.

They said we could switch to an Apache-based license, but they asked for proofs that the license switch was requested by industrials.

So, if you use IKOS at work, feel free to email us at [email protected]

from ikos.

Also, switching to the Apache license would allow for bringing IKOS under the LLVM umbrella some time in the future if that would be desired, right? :-)

from ikos.

Again, if you are working for a US company and have issues with the current license, please email us. This would help convince the lawyers to make a license change.

from ikos.

I have an update. This is now being considered. I'll get back to you soon on this.

As Maxime stated, if you are working for a US company or organization and have issues with the current license, please email us ASAP. This would help convince the lawyers to make a license change.

from ikos.

Tagging @sylvestre and @practicalswift.

Sorry for pinging you twice about this Sylvestre . We're trying everything we can to convince them; a message from Mozilla would really help here.

from ikos.

@ivanperez-keera I replied by email

from ikos.

Thank you!

from ikos.