【发布时间】：2018-08-05 07:25:57
【问题描述】：
我有一个项目应该使用 Z3，但文档都在 Rise4Fun.com 上，该网站自周五以来一直处于关闭状态。我根本找不到任何关于它为什么关闭、是否会备份或其他文档可能存储在哪里的信息。有人知道吗？
【问题讨论】：
标签： z3
【发布时间】：2018-08-05 07:25:57
【问题描述】：
Github 站点有一些文档，包括 API：https://github.com/Z3Prover/z3/wiki/Documentation
但你是对的；如果没有 Rise4Fun，据我所知，交互式系统在其他任何地方都不可用。
【讨论】：
-
我昨天浏览了那些，但我只是看到了不同 API 的文档。这可能就足够了，但理想情况下我会寻找直接的 Z3 文档。我不太担心 Rise4Fun 的互动部分。