[Scip] License issues raised by a future interface between SCIP and Sage

[Nathann Cohen]

Helloooooo everybody,

I am contributor to a software called Sage [1], meant for general
mathematics. We already have interface between Sage and other LP solvers
(GLPK,
CPLEX, Gurobi, ...) and we would like to interface it with SCIP in the
future
[2].

I would like to make sure that your license is compatible with our
distribution
system:

- Sagemath is licensed under the GPLv3+. Thus, SCIP cannot be part of Sage
(nor
  part of its source tarball) and we want it to become an 'optional
package'.

- We would like to host a *copy* of the source tarball
(scipoptsuite-3.1.1.tgz)
  on our servers (anybody would be able to download it from there)

- Users could "download and install" this copy by running "sage -i scip"

- Some python files in Sage (under GPLv3+ license), part of the standard
Sage
  distribution (but rather useless unless your package is installed), would
be
  our way to use your code (as an independent binary file, or as a shared
  library).

Do you see anything in this description that would go against your wishes,
or
against your license?

Thanks,

Nathann
http://www.steinertriples.fr/ncohen/

[1] http://www.sagemath.org/
[2] http://trac.sagemath.org/ticket/10879
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20150630/475a5603/attachment.html>