Question

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

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

是否可以检查s的配置选项的值？

Answer 1

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