rise4fun上的z3py数周后不可用

rise4fun上的z3py数周后不可用,z3,z3py,Z3,Z3py,我经常使用Rise4FunZ3py网站,我真的很喜欢它 但是,自从几周前尝试访问时 我被重定向到 该站点正在运行,但这不是为了尝试Z3 python API,对吗 是z3py网站有意被关闭,还是出了什么问题 谢谢和亲切的问候, KlausZ3Py网站和教程因以下原因暂时脱机。他们将保持脱机状态,直到这些问题得到解决。我找不到这篇文章,但莱昂纳多提到,出于安全原因(有人找到了执行提升命令或消毒剂应该删除的命令的方法),他们正在努力让它重新联机,但我不知道时间框架。

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

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

我被重定向到

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

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

谢谢和亲切的问候,
Klaus

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

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