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.

Source Distribution

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

Uploaded source

Built Distribution

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

Uploaded py3

Supported by

AWS AWS Cloud computing Datadog Datadog Monitoring Facebook / Instagram Facebook / Instagram PSF Sponsor Fastly Fastly CDN Google Google Object Storage and Download Analytics Huawei Huawei PSF Sponsor Microsoft Microsoft PSF Sponsor NVIDIA NVIDIA PSF Sponsor Pingdom Pingdom Monitoring Salesforce Salesforce PSF Sponsor Sentry Sentry Error logging StatusPage StatusPage Status page