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

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

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

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

您可以使用该功能获取战术敏感的参数列表，如果没有设置为任何其他参数，则这些参数将具有默认值。注意，战术可能会在内部改变参数，例如在使用战术时。由于战术可以多次覆盖参数，在不同的点使用不同的参数，因此通常情况下，给定参数不只有一个值，因此也无法提取当前参数设置