We are making use of the following tools in our software, and not modified any of these tools. Tools 1-3 are used directly in my software. Tool 4 is used for reference, but included as part of our software distribution.
- Z3:MIT License https://github.com/Z3Prover/z3/blob/master/LICENSE.txt
- ANTLR:BSD 3-clause license https://github.com/antlr/antlr4/blob/master/LICENSE.txt
- Wolfgang:BSD 3-Clause "New" or "Revised" License https://github.com/iig-uni-freiburg/WOLFGANG/blob/master/LICENSE
- ITS-Tools : GNU GPLv3 https://github.com/yanntm/ITS-Tools-MCC/blob/master/LICENSE - we use this only to see if it gives the same results as our tool.
I wish to make my software binary available publicly (not the source code yet, as it still needs fine tuning).
- Which software licenses would be suitable in this case?
- Can I make this closed source, as I am not modifying any of the above tools?
I support open-source, but not ready to publish the source of this software yet as it still is a work in progress.
Since this is for an artifact submission as part of a research paper, I am required to submit everything described in my research, hence I need to include Tool 4 in my artifact as well.