C言語ではなく、C++を使ってすべてのZ3を満たすモデルを見つける？

Question

C言語でZ3を使って満足できるモデルを探したい（私はC++コードを探していません）。

Answer 1

Z3 C Exampleを参照してください。たとえばfind_model_exampleです。