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.

Files for wmipa, version 0.1.5
Filename, size File type Python version Upload date Hashes
Filename, size wmipa-0.1.5-py3-none-any.whl (28.8 kB) File type Wheel Python version py3 Upload date Hashes View
Filename, size wmipa-0.1.5.tar.gz (23.3 kB) File type Source Python version None Upload date Hashes View

Supported by

Pingdom Pingdom Monitoring Google Google Object Storage and Download Analytics Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page