1

Z3が新しい.NETAPIをリリースしてから、固定小数点のAPIが変更されたように見えます。

ただし、新しいAPIの使用方法の詳細がわかりません。

誰かが私に何かを提供できますか？

4

1 に答える 1

1

関心をお寄せいただきありがとうございます。私は、固定小数点機能について、よりまともなチュートリアルをまとめようとしています。来週までに利用可能になります。ディストリビューションには、レガシー C API の固定小数点機能の使用に関するサンプルが付属しています。

宜しくお願いします、ニコライ

于 2012-05-18T23:03:33.360 に答える