z3 - 几周以来，rise4fun 上的 z3py 不可用

Question

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

但是，由于尝试访问的几个星期

http://rise4fun.com/z3py

我被重定向到

http://rise4fun.com

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

z3py 网站是故意删除还是有什么问题？

谢谢和亲切的问候，克劳斯

Answer 1

由于安全问题，Z3Py 网站和教程暂时下线。在解决这些问题之前，他们将保持离线状态。