Weighted Model Integration PA (Predicate Abstraction) solver.
Project description
wmi-pa
Python 3 implementation of the method presented in:
Efficient WMI via SMT-Based Predicate Abstraction
Paolo Morettin, Andrea Passerini, Roberto Sebastiani,
in Proceedings of IJCAI 2017
pywmi
WMI-PA is now part of pywmi, a general framework for Weighted Model Integration that offers a number of different solvers, a command-line interface, etc.
Installation
pip install wmipa
Additional requirements
LattE integrale LattE's binary folder must be present in the PATH environment variable.
MathSAT5 Run:
pysmt-install --msat
Examples
We provide some examples that show how to write a model and evaluate weighted model integrals on it. To run the code in examples/, type: python exampleX.py
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
