z3py:在z3py中有检查配置选项的方法吗？

Question

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

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

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

Answer 1

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