smt - APIとしてのjSMTLIB

Question

jSMTLIB を API として使用する必要があります。

しかし、私を助けることができるチュートリアルが見つかりません。

私が見つけた唯一のものは、完全ではないユーザー ガイドです。( http://www.grammatech.com/resource/smt/jSMTLIBUserGuide.pdf )

Javaでソルバーを作成し、いくつかのアサートを実行することを知っている人はいますか?

それがどのように機能するかの例を見せてもらえますか?

ありがとう。