使用C语言而不是C ++查找所有满足Z3要求的模型？

Question

我想在C语言中使用Z3找到所有令人满意的模型（我不是在寻找C ++代码）。

Answer 1

见Z3 C Example;例如find_model_example。