1

自从 Z3 发布了新的 .NET API，在我看来，定点的 API 已经改变了。

但是我找不到有关如何使用新 API 的详细信息。

有没有人可以给我一些东西？

4

1 回答 1

1

非常感谢您的兴趣。我正在尝试为定点设施一起获得更体面的教程。它将在下周提供。该发行版附带了一个使用遗留 C API 中的定点工具的示例。

最好的问候，尼古拉

于 2012-05-18T23:03:33.360 回答