3 ms·
They have very unusual license which I have never seen before: https://github.com/NASA-SW-VnV/ikos/blob/master/LICENSE.txt https://github.com/NASA-SW-VnV/ikos/b
by solomatov 4y ago
They have very unusual license which I have never seen before: https://github.com/NASA-SW-VnV/ikos/blob/master/LICENSE.txt https://github.com/NASA-SW-VnV/ikos/blob/master/LICENSE.txt
Is anyone familiar with it? Is it OSI certified? (it's not on the OSI's site).
- zvr 4y agoWell, it is on SPDX License List (https://spdx.org/licenses https://spdx.org/licenses) with short identifier "NASA-1.3" so it's definitely not new. The same table marks it as OSI Approved.
- solomatov 4y agoOk found it on the extended table here: https://opensource.org/licenses/alphabetical https://opensource.org/licenses/alphabetical