Development

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

[Unreleased / TODO]

Added

  • Bound computation functionalities

  • Optimization functionalities

  • Sampling functionalities

  • redundant inequalities removal in Polytope

  • Equalities support

Fixed

  • …

Changed

  • …

Removed

  • …

0.1.1

Added

  • Inequality.to_numpy()

Fixed

  • Multiple bug fixes related to integration polynomial manipulations

  • Multiple fixes in the unit tests

Changed

  • Polytope.to_numpy() now returns an additional numpy array with strictness information

  • AxisAlignedWrapper now works with arbitrary polynomial integrands

0.1.0 - 2025-09-0

Added

  • First pre-release version.

Contributing

Feedback, pull requests, active development.. any form of contribution is much welcome!

If you want to get in touch, contact Paolo Morettin (paolo.morettin@unitn.it).

Setup

We use uv for the development of this library.

To set up the environment:

uv sync
uv run wmpy-install --all -y

To build the documentation:

cd docs
uv run make html

Before pushing to remote

  • Run the type checker: uv run mypy

  • Run the tests: uv run pytest

  • Fix any resulting error

  • Make sure to reformat the source code: uv run black .

Conventions

We adopt the following conventions

Acknowledgements

Funded by the European Union.

Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or The European Research Executive Agency. Neither the European Union nor the granting authority can be held responsible for them. GA n°101110960 “Probabilistic Formal Verification for Provably Trustworthy AI - PFV-4-PTAI”