在Scala ^Z3中设置逻辑/选项

我不知道如何在Scala^Z3中设置逻辑和相应的选项。 我想这很简单，但我就是找不到。。因此，我真的非常感谢您的帮助；）

问候,， 弗洛里安

---

注：Scala 3.2和Z3 4.0配合得非常好：）

以防您仍在寻找

有两种方法可以设置选项：

在构造

Z3Config

实例时传递参数，例如

newz3config（“MODEL”->true）

在

Z3Config

实例上调用

.setParamValue

，例如

myConf.setParamValue（“MODEL”，true）

现在回答关于如何设置逻辑的特定问题，不幸的是Z3的API不支持这种逻辑。你可以看看利奥对这个问题的回答

---

请注意，严格地说，在使用API时，您并不真正需要该选项，但是：所有的理论都可以使用，Z3将神奇地想出该做什么。

什么是“Scala 3.2”？请注意此设置：res0:String=Z3 4.0（build 0，rev.0），ScalaZ3 3.2.c（在开发中）