New answers tagged

1

What do you mean by "use" of the programs mentioned? I'm not familiar with all of them, but at least ANTLR is a program that is used to generate programs given a specification (a LL parser generator and a bunch of helpers). If the others mentioned are similar tools, you need to check the licenses of the generated files. Only if you use (pieces of) ...


2

You have two different classes of tools here: Tools 1-3 (Z3, ANTLR and WOLFGANG): you are using these directly in your program, so the license of your program must be compatible with the licenses of all three of these. Tool 4 (ITS-Tools): as this is something which is clearly a distinct entity from your program, this is aggregation and has no bearing on ...


0

To my considerable surprise, I recently discovered that somebody has created a so-called "BSD Protection License" which appears to be designed to specifically solve this problem. The text of the license may be found here or here. It is quite lengthy, so I won't quote it in full, but I will summarize it as follows: It allows verbatim redistribution ...


11

With great respect to my colleague, although what you require wouldn't meet the open-source software definition, it is understood that things are somewhat different in fields of creative endeavour. In particular, it's understood that creative works shouldn't purport to put one creator's words in another creator's mouth. Such a restriction would make a work ...


12

As written, your license would not be an open source license. In particular: The requirement to keep the title unchanged is a restriction on translating the book into a different language, failing the "No Discrimination Against Fields of Endeavor" clause of the Open Source Definition (OSD). The requirement to be "fully identified" and &...


Top 50 recent answers are included