rise4fun上的z3py数周后不可用

我经常使用Rise4FunZ3py网站，我真的很喜欢它

但是，自从几周前尝试访问时

我被重定向到

该站点正在运行，但这不是为了尝试Z3 python API，对吗

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

谢谢和亲切的问候，

---

Klaus

Z3Py网站和教程因以下原因暂时脱机。他们将保持脱机状态，直到这些问题得到解决。

我找不到这篇文章，但莱昂纳多提到，出于安全原因（有人找到了执行提升命令或消毒剂应该删除的命令的方法），他们正在努力让它重新联机，但我不知道时间框架。