Z3的先前版本是否也在MIT許可證上？

Question

我在github上發現了以前的版本（標籤），聲稱「Z3是根據MSR-LA（微軟研究許可協議）授權的」。

我的問題是他們現在是否也在MIT執照上。請您澄清一下嗎？謝謝！

Answer 1

我不明白許可證的法律世界，但爲了安全起見，我認爲以前的發行版會帶有舊許可證，因爲這是發行包中的內容。