c++ - c++ 用の z3 定理証明 API についてどこで学べますか?

Question

c++ 用の z3 API と、それらを c++ プログラムで使用する方法を学びたいです。チュートリアルを見つけようとしましたが、見つかりませんでした。どこからそれを学ぶことができますか？チュートリアルか何か？ありがとう。