问rise4fun上的z3py已有数周不可用
EN

Stack Overflow用户

提问于 2013-11-09 20:55:12

回答 1查看 367关注 0票数 1

我经常使用rise4fun z3py网站，我真的很喜欢它。

然而，由于几个星期以来当尝试访问

http://rise4fun.com/z3py

我被重定向到

http://rise4fun.com

站点http://rise4fun.com/z3正在工作，但这不是为了尝试Z3 python API，对吧？

是z3py网站被故意关闭了，还是出了什么问题？

谢谢&致以亲切的问候，克劳斯

发布于 2013-11-10 02:17:09

由于security issues，Z3Py网站和教程暂时脱机。它们将保持脱机状态，直到这些问题得到解决。

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/19876182

复制

相似问题

问rise4fun上的z3py已有数周不可用EN