1.3.1

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

Changes Since v1.3.0

New features

• 🎲 A sample_items method has been added to all symbolic set classes (ColorSet, VertexSet, SpaceSet, PerturbationSet, and their colored variants). This method facilitates uniform random sampling of elements from these sets. It includes an optional seed parameter for reproducible, deterministic sampling. (Issue #50)

Bug fixes

• ⚙️ The logging mechanism within the example scripts has been updated to utilize the standard Python logging module, ensuring more conventional and configurable behavior.

Other changes

• 🏗️ The Z3 solver is no longer included as a dependency. This change simplifies the build process from source and reduces the final binary size.
• 📦 Improvements have been made to the Conda package build process, including fixes for macOS and Windows platforms.
• ⬆️ Core dependencies have been updated, including biodivine-lib-param-bn, biodivine-hctl-model-checker, biodivine-algo-bdd-scc, and the maturin build backend.
• 📜 A new example script, uniform_random_sampling.py, has been introduced to demonstrate the new sampling functionality.
• 📄 The README.md file has been updated to include several informational badges.