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

These details have not been verified by PyPI

Project links

Homepage

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Release history Release notifications | RSS feed

0.1.7

Feb 22, 2023

0.1.5

Jul 10, 2020

0.1.4

May 19, 2020

0.1.3

Mar 3, 2020

0.1.2

May 9, 2019

This version

0.1.1

Apr 9, 2019

0.1.0

Apr 4, 2019

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

Uploaded Apr 9, 2019 Source

Built Distribution

wmipa-0.1.1-py3-none-any.whl (38.5 kB view hashes)

Uploaded Apr 9, 2019 Python 3

Hashes for wmipa-0.1.1.tar.gz

Hashes for wmipa-0.1.1.tar.gz
Algorithm	Hash digest
SHA256	`cea2562dbc8c70a06fdf5196dbbd6a6be10ef54f01ed6cbd34c2d2cbfd2d6646`
MD5	`8329fb52b56a7e25ce219c318ccd189c`
BLAKE2b-256	`2892c3881e7ef4c4b6fdb8a28cb946412839ddcbe746da120e1571cac8501b9e`

Hashes for wmipa-0.1.1-py3-none-any.whl

Hashes for wmipa-0.1.1-py3-none-any.whl
Algorithm	Hash digest
SHA256	`e5bb73db1bca7d72ba0cf22a401cf6d9d00ef5328c3d62697ae297697f0598d8`
MD5	`864c40fc1fca995095c0f702ca406a62`
BLAKE2b-256	`021b2094e4a0a7d025c3bd9e80d2ae981c2a4110d18592bba307e83cdd01cde8`