当我尝试将定点引擎设置为PDR，并尝试设置pdr_use_farkas选项时，我收到unknown_parameter错误。
特别是，我在定点对象上使用以下选项：
fp.set(engine='1',pdr_use_farkas=True,unbound_compressor=False,compile_with_widening=True)
这会导致错误：
z3.types.Z3Exception: "unknown parameter ':pdr-use-farkas'"
使用set_option也无济于事。我试过了
set_option(dl_engine='1')
set_option(dl_pdr_use_farkas=True)
我得到了“未知选项”。
我在哪里犯了错误？
我正在使用Z3 4.3.1 64位。
答案 0 :(得分：0)
参数名称在不同版本之间已更改，因为较新版本包含参数名称的名称空间机制。 Python API有一个列出参数描述的方法：例如：
fp = Fixedpoint()
print fp.param_descrs()
打印可用参数集（固定链接：rise4fun.com/Z3Py/r32）