Q

固定點的新Z3 .NET API

.net
z3

2012-05-18 24 views 1 likes

1

由於Z3發佈了新的.NET API，在我看來固定點的API已經改變了。固定點的新Z3 .NET API

但是我找不到有關如何使用新API的詳細信息。

有人可以提供給我一些東西嗎？

2012-05-18 user1402725

A

回答

1

非常感謝您的關注。我正試圖爲固定點設施一起獲得更加體面的教程。它將在下週提供。該發行版附帶了一個使用傳統C API的固定點設施的示例。

最好的問候， Nikolaj

2012-05-18 23:03:33

相關問題