z3py：有没有办法检查 z3py 中的配置选项？

Question

假设我在 z3py 中将求解器定义为：

s = Then('qflia','skip').solver()

有没有办法检查 s 的配置选项的值？

Answer 1

您可以使用help 函数来获取该策略敏感的参数列表，如果没有设置其他任何参数，它们将具有其默认值。请注意，策略可能会在内部更改参数，例如，当使用 with 策略时。由于策略可以多次覆盖参数，在不同的点使用不同的参数，通常给定的参数不只有一个值，因此也无法提取当前的参数设置。