Weighted Model Integration PA (Predicate Abstraction) solver.
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
LattE integrale LattE's binary folder must be present in the PATH environment variable.
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
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
|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|