加权模型集成pa（谓词抽象）求解器。
wmipa的Python项目详细描述
wmi pa
python 3中方法的实现：
Efficient WMI via SMT-Based Predicate Abstraction
保罗·莫雷廷，安德烈·帕塞里尼，罗伯托·塞巴斯蒂安，
在IJCAI 2017年会议记录中
pywmi
wmi-p a现在是pywmi的一部分，这是一个用于加权模型集成的通用框架，它提供了许多不同的求解器、命令行接口等。
安装
pip install wmipa
附加要求
LattE integrale LATTE的二进制文件夹必须存在于PATH环境变量中。
MathSAT5 运行：
pysmt-install --msat
示例
我们提供了一些例子来说明如何编写一个模型，并在其上计算加权模型积分。 要在examples/中运行代码，请键入：python exampleX.py
欢迎加入QQ群-->： 979659372
