we now have a permission from Brinkmann to release his part of the code under whatever license we see fit; we already obtained a permission from from Brendan McKay to release nauty as a GPLed Sage package, so we are all set for this to go ahead.
------------------------------------------------------------------------------------------------------------------ Date: Fri, 20 Nov 2015 11:38:26 +0100 From: Gunnar Brinkmann <gunnar.brinkm...@ugent.be> To: Dima Pasechnik <dmitrii.pasech...@cs.ox.ac.uk>, Jeroen Demeyer <jdeme...@cage.ugent.be> Subject: Code generating finite posets of given size User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 Hi Dima, Jeroen just asked whether I could explicitly declare that it is OK to use the poset generating code in Sage. The problem with the (special) nauty file was already solved by Brendan, so with this mail I declare that you can also use the (rest of the) poset generating code in Sage under any license you need to make it available. Best wishes, Gunnar -- Gunnar Brinkmann Applied Mathematics, Computer Science and Statistics Ghent University Krijgslaan 281 - S9 B - 9000 Ghent email: gunnar.brinkm...@ugent.be phone: +32-9-264.48.07, Fax: +32-9-264.49.95 ------------------------------------------------------------------------------------------------------------------- On Monday, 29 June 2015 12:30:20 UTC+1, Jori Mäntysalo wrote: > > More about licenses, see http://trac.sagemath.org/ticket/14110 . This is > a > non-technical issue. Who wants to contact the makers of nauty (and poset > generation program)? I do not want, as I don't know that much about > licenses and copyright issues. > > I am quite sure that they have not really thinked about the restrictions. > We don't have just programs anymore, but metaprograms like Sage containing > other software. > > -- > Jori Mäntysalo > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.