几个星期以来，z3py一直没有上涨

Question

我经常使用rise4fun z3py网站，我非常喜欢它。

但是，自从试图访问

几周以来

http://rise4fun.com/z3py

我被重定向到

http://rise4fun.com

网站http://rise4fun.com/z3正在运行，但那不是用于尝试Z3 python API，对吗？

z3py网站是故意删除还是错了？

谢谢＆amp;亲切的问候，  克劳斯

Answer 1

由于security issues，Z3Py网站和教程暂时脱机。在修复这些问题之前，它们将保持脱机状态。