C#中的Z3，只得到1个结果

我正在VisualStudio中使用z3，我想用以下内容做一个简单的检查 x>3

---

运行代码后，我只在模型中得到一个结果。为什么我只能得到一个结果？我如何在C#中完成模型

Z3是一个可满足性求解器（SMT中的S），即它检查是否有一个赋值满足公式。它可以在一些特殊情况下计算解集，如果问题设置正确，但没有进一步的细节，我无法判断这些是否适用于您的问题

---

当然，在获得一个令人满意的作业后，您可以添加一个新的约束，强制您刚获得的作业被排除，然后获得一个新作业。

您可以发布代码吗？