search

sybila / biodivine-lib-bdd

A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
MIT License
20 stars 4 forks source link

Construct a BDD satisfied by exactly/up to `k` variables #43

Closed daemontus closed 1 year ago

daemontus commented 1 year ago

This allows us to quickly create BDDs for threshold and test functions (exactly/at most k inputs are true).

codecov[bot] commented 1 year ago

Codecov Report

Patch coverage: 88.46% and project coverage change: -0.11 :warning:

Comparison is base (33edf5e) 93.99% compared to head (92dc5a9) 93.89%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #43 +/- ## ========================================== - Coverage 93.99% 93.89% -0.11% ========================================== Files 29 29 Lines 2797 2849 +52 ========================================== + Hits 2629 2675 +46 - Misses 168 174 +6 ``` | [Impacted Files](https://app.codecov.io/gh/sybila/biodivine-lib-bdd/pull/43?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=sybila) | Coverage Δ | | |---|---|---| | [src/\_impl\_bdd\_variable\_set.rs](https://app.codecov.io/gh/sybila/biodivine-lib-bdd/pull/43?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=sybila#diff-c3JjL19pbXBsX2JkZF92YXJpYWJsZV9zZXQucnM=) | `92.63% <88.46%> (-1.58%)` | :arrow_down: |

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.