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

Question

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

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

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

Answer 1

你可以使用help function to get a list of parameters that the tactic is sensitive to, and if not set to anything else, they will have their default values. Note that tactics may change parameters internally, e.g., when the with战术。由于战术可以多次覆盖参数，在不同的点使用不同的参数，通常给定参数不只有一个值，因此也无法提取当前参数设置。