[dependabot]

Bumps biodivine-lib-bdd from 0.5.27 to 0.6.3.

Release notes

Sourced from biodivine-lib-bdd's releases.

v0.6.3

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

Changes Since v0.6.2

API-breaking changes

The signature of the internal method Bdd::_to_optimized_dnf has been updated. It now includes a trim_monotonic: bool parameter to control a new DNF optimization.

New features

The Bdd::to_optimized_dnf method now incorporates an optimization pass based on local monotonicity. For each variable, the method checks if the function is locally monotonic (either positive or negative). If a variable is determined to be monotonic, the resulting DNF clauses are simplified by removing any literals that contradict this monotonicity. This change produces more concise and semantically meaningful DNF representations without altering the number of clauses.

0.6.2

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

Changes Since v0.6.1

New features

• The random valuation samplers NaiveSampler and UniformValuationSampler now implement the Clone trait. ✨
• The UniformValuationSampler can now be constructed from pre-computed node weights using the new UniformValuationSampler::from_raw_parts method. The weights can also be extracted using UniformValuationSampler::into_ratios. This is primarily intended to support serialization and Python bindings.

Other changes

• The continuous integration and release workflows have been migrated to use reusable organizational workflows. ⚙️

v0.6.1

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

Changes Since v0.6.0

API-breaking changes

⚠️ The rand dependency has been downgraded to version 0.8 (from 0.9). This was necessary to enable random BigInt generation, which is required for the new uniform sampling feature. This may cause dependency conflicts in projects that require rand version 0.9. Public methods that accept a generic R: Rng now expect an RNG compatible with rand version 0.8. We will try to increase this back to 0.9 as soon as possible (until then, use version 0.6.0 if you need rand version 0.9).

New features

✨ A new module random_sampling has been introduced to support uniform random sampling of valuations from a Bdd. This resolves a long-standing issue where the distribution of randomly picked valuations was biased by the BDD's internal structure. (Issue #44)

• The new method Bdd::mk_uniform_valuation_sampler can be used to construct a UniformValuationSampler for a specific Bdd.
• The new method Bdd::random_valuation_sample consumes a sampling implementation (like UniformValuationSampler or the simpler NaiveSampler) to produce a random BddValuation.
• The new public trait SamplingMethod allows for the implementation of custom sampling strategies.

Other changes

• 📝 The documentation for Bdd::random_valuation has been updated to clarify its non-uniform nature and to recommend the new Bdd::random_valuation_sample method for use cases that require a uniform probability distribution.
• ⚙️ The num-rational crate has been added as a new dependency to support the precise probability calculations required for uniform sampling.
• ⚙️ The rand feature is now enabled for the num-bigint dependency.

0.6.0

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

Changes Since v0.5.27

API-breaking changes

• The return types of Bdd::exact_cardinality and Bdd::exact_clause_cardinality have been changed from BigInt to BigUint. As cardinality cannot be negative, this change introduces better type correctness.

... (truncated)

Commits

• f2c39b8 build: Bump version.
• c8cf281 Merge pull request #77 from sybila/daemontus/feat/dnf-local-monotonicity
• e9a51cc test: Exact check of DNF clauses.
• 2efc48d feat: Add local monotonicity check as the last step of DNF generator.
• d72fd81 build: Bump version.
• 1ed9d1d feat: Allow uniform sampler to be constructed from "raw data" to enable at le...
• 3d9faae feat: Make sampler clone-able.
• a8acd79 build: Migrate to reusable organizational workflows.
• 66b58c8 build: Minor simplification to the release workflow.
• b7eb213 Bump version.
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[dependabot]

Looks like biodivine-lib-bdd is up-to-date now, so this is no longer needed.