java - Java と Z3 の統合

Question

Java を SMT Z3 ソルバーと統合する方法を教えてください。理論的な質問だけでなく、いくつかの実装経験についても説明していただければ幸いです。

Answer 1

探している統合の種類はわかりませんが、現在、Z3用のJavaAPIに取り組んでいることを述べておきたいと思います。これは、 Z3の最新のソースコードで入手したZ3の不安定なブランチでプレビューできます。これはまだバイナリパッケージで配布されていないため、ソースコードを自分で作成する必要があります。基本的にはjarパッケージ（+ DLL）として提供され、ソースコードにはexamples/javaでの使用方法の例が付属しています。