search

epfl-lara / leon

The Leon system for verification, synthesis, repair
Other
161 stars 49 forks source link

Moving to GPL from BSD #282

Closed sirinath closed 7 years ago

sirinath commented 7 years ago

I noticed the license have moved from BSD to GPL. Wondering why? Is it possible to be switch back to BSD.

MikaelMayer commented 7 years ago

It is possible to add other licenses, but for that you need to contact Viktor Kuncak. Note that this is Leon and not Scala.

sirinath commented 7 years ago

I know it is not Scala but all the program verification stuff is now GPL which is a bummer.