标签： .net z3
由于Z3发布了新的.NET API，在我看来，固定点的API已经发生了变化。
但是我找不到有关如何使用新API的详细信息。
有人能给我一些东西吗？
答案 0 :(得分：1)
非常感谢您的兴趣。我正在尝试为定点设施提供更合适的教程。它将在下周提供。该分发附带了使用旧版C API中的定点设施的示例。
最诚挚的问候， 尼古拉