z3 - Z3：LinuxでのOCamlサポート

Question

Linux用にアップロードされたナイトリービルドには、OCamlバインディングが含まれていません。バインディングが将来追加されるかどうかはわかりますか？

ソースからビルドすることがOCamlサポートを取得する唯一の方法ですか？前の質問（Linuxでのz3 ocamlバインディングのコンパイル）から、ビルドシステムはまだLinux用に準備ができていないようでした。それは変わりましたか？

Answer 1

間もなくZ3用の新しいOCamlAPIがリリースされ、バイナリがナイトリービルドに含まれるようになります。公式リリースの現在のOCamlAPIは古く、Z3で利用可能な新機能をサポートしていません。新しいOCamlAPIは、.NET、Java、PythonAPIと同じ機能を備えています。ml-ng ブランチは、この新しいAPIの作業ブランチです。