dreal/dreal3

License

Closed this issue · 2 comments

soonho-tri commented

  • It seems that it's possible to change the license of OpenSMT to MIT license from GPL3. There is an example project, OpenSMT2, which made this transition. I need to email to the original author of OpenSMT2

  • CAPD is GPL3 and will be in that way. Probably, we need to have two repositories. In one repo, dReal is in GPL as it is and uses CAPD. In a new repo, dReal is under non-GPL (either MIT or Apache 2.) and does not depend on CAPD.

  • Still need to check the compatibilities of other dReal externals. But I think it should be an easy task since there are alternatives.

  • Still need to ask all the contributors of dReal if they agree to this transition.

soonho-tri commented

Update:

  • will have a separate repo which includes dReal version under Apache-2.0 license.
  • had consent from the original author of OpenSMT.
  • waiting for the replies from other contributors of dReal.