Skip to main content

Weighted Model Integration PA (Predicate Abstraction) solver.

Project description

wmi-pa

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

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

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.2
Filename, size File type Python version Upload date Hashes
Filename, size wmipa-0.1.2-py3-none-any.whl (24.2 kB) File type Wheel Python version py3 Upload date Hashes View hashes
Filename, size wmipa-0.1.2.tar.gz (20.2 kB) File type Source Python version None Upload date Hashes View hashes

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page