search

ellmau / adf-obdd

Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
https://ellmau.github.io/adf-obdd/
MIT License
8 stars 0 forks source link

Bump biodivine-lib-bdd from 0.4.0 to 0.4.1 #116

Closed dependabot[bot] closed 1 year ago

dependabot[bot] commented 1 year ago

Bumps biodivine-lib-bdd from 0.4.0 to 0.4.1.

Release notes

Sourced from biodivine-lib-bdd's releases.

0.4.1

This is just a minor release that adds a utility method for computing the most specific conjunctive clause that is satisfied by all BDD valuations.

Commits
  • e0e4ee6 Version bump.
  • 8610977 Add a simple method for computing the most restrictive clause that still cove...
  • 44b0f4c Documentation comments for ternary ops.
  • See full diff in compare view


Dependabot compatibility score

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 merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@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[bot] commented 1 year ago

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