Skip to main content

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

Required software:

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

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.0.tar.gz (32.3 kB view hashes)

Uploaded Source

Built Distribution

wmipa-0.1.0-py3-none-any.whl (38.5 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