Skip to main content

Weighted Model Integration PA (Predicate Abstraction) solver.

Project description


Build Status

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


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.


pip install wmipa

Additional requirements

LattE integrale LattE's binary folder must be present in the PATH environment variable.

MathSAT5 Run:

pysmt-install --msat


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

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

wmipa-0.1.4.tar.gz (23.3 kB view hashes)

Uploaded Source

Built Distribution

wmipa-0.1.4-py3-none-any.whl (28.8 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page