标签： z3
我发现github上的先前版本（标签）说＆＃34; Z3是根据MSR-LA（微软研究许可协议）＆＃34;许可的。
我的问题是他们现在是否也在麻省理工学院执照上。请你澄清一下吗？谢谢！
答案 0 :(得分：1)
我不了解许可证的法律世界，但为了安全起见，我会假设以前的版本带有旧许可证，因为分发软件包中包含了什么。<\ n / p>