【发布时间】：2012-05-25 18:29:55
【问题描述】：
自从 Z3 发布了新的 .NET API，在我看来，定点的 API 已经改变了。
但是，我找不到有关如何使用新 API 的详细信息。
有人可以给我一些东西吗？
【问题讨论】：
【发布时间】：2012-05-25 18:29:55
【问题描述】：
非常感谢您的关注。我正在尝试为定点设施一起获得更体面的教程。它将在下周提供。该发行版附带了一个使用传统 C API 中的定点工具的示例。
最好的问候， 尼古拉
【讨论】：
【发布时间】：2012-05-25 18:29:55
【问题描述】：