python wmi安装_Python pywmi包_程序模块 - PyPI - Python中文网

pywmi

安装pip install pywmi

pywmi提供了各种需要额外安装步骤的服务和引擎。

SMT解算器

pywmi依赖pysmt与smt解算器接口。如果您想从依赖于smt解算器的功能中获益

请通过pywmi安装过程中附带的pysmt安装工具安装smt解算器。pysmt-install --msat # example to install mathsat, more solvers are available

对于较旧版本的pysmt(早于版本0.8)，必须确保在使用pywmi时，smt解算器位于您的路径上。

pysmt安装工具可以向您显示必要的命令。pysmt-install --env

xadd发动机

xadd引擎使用xadds执行wmi，如Kolb et al., 2018所述。

要使用此引擎，您需要Java、Gurobi和xadd库jar文件。

pywmi安装附带的pywmi安装工具可以自动下载并安装jar文件，

但是，您需要手动安装java和gurobi。一旦你这样做了，只要打电话：pywmi-install xadd

pywmi-install xadd --force # To download a new version

谓词抽象引擎

谓词抽象引擎(short pa engine)使用mathsat和latte使用谓词抽象来解决wmi，如

在Morettin et al., 2017中描述。

为了使用PA引擎，您需要安装Mathsat SMT解算器(请参阅上面的说明)。

拿铁咖啡(见下面的说明)和wmipa library。你可以使用