1.2.5

(this summary is LLM-generated, but validated by project developers)

Changes Since v1.2.4

New features

• Added a new example script, stability_analysis.py, which demonstrates how to replicate the stability analysis feature from the AEON online tool. 🐍
• Added a new example script, percolation.py, to showcase the functionality of the Percolation.percolate_subspace method.

Bug fixes

• Corrected an issue in Percolation.percolate_subspace where network parameters were handled incorrectly. The method now properly ignores parameters, which cannot be fixed during subspace percolation, preventing erroneous behavior.

Other changes

• The project's Rust edition has been updated to 2024, and the minimum Rust version required for compilation has been increased to 1.88.0.
• Core dependencies have been updated, including pyo3 to version 0.25.1 and zip to version 4.3.0.
• A deprecated internal method call in BddValuation.values has been replaced with its recommended successor.
• Improved code formatting across the codebase, primarily by adopting formatted string literals.
• Refined various documentation strings and internal comments for improved clarity and correctness.
• Added a new test case for the Percolation.percolate_subspace method to verify its correctness on a complex model.