wmipa-0.1.8-final-release

Final wmipa Release (0.1.8)

Important: This is the last version of wmipa before the repository and package rename to wmpy.

Papers

This version contains the code for the PA [1, 2], SA-WMI-PA [3], and SAE4WMI [4] for WMI computation, used in the evaluation of the following papers:

[1] Efficient WMI via SMT-Based Predicate Abstraction, Paolo Morettin, Andrea Passerini, Roberto Sebastiani, in Proceedings of IJCAI 2017

[2] Advanced smt techniques for Weighted Model Integration, Paolo Morettin, Andrea Passerini, Roberto Sebastiani, in Artificial Intelligence, Volume 275, 2019

[3] SMT-based Weighted Model Integration with Structure Awareness, Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani, in UAI Conference 2022

[4] Enhancing SMT-based Weighted Model Integration by structure awareness, Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani, in Artificial Intelligence, Volume 328, 2024

Breaking Changes Ahead

• Immediate: Repository will be renamed to wmpy after this release.
• New repository: https://github.com/unitn-sml/wmpy.
• Compatibility: The new wmpy package will not be compatible with wmipa - it will be completely rebranded, reorganized, and refactored.

Installation

To install this final wmipa version:

pip install git+https://github.com/unitn-sml/wmpy.git@wmipa