issues
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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Ignore whitespace when parsing from string data
#61
daemontus
closed
2 days ago
1
DNF generator
#60
daemontus
opened
1 month ago
0
Validation
#59
daemontus
closed
1 month ago
1
Coverage reporting is broken?
#58
daemontus
opened
1 month ago
0
Updates to DNF/CNF methods
#57
daemontus
closed
1 month ago
1
Avoid recursion in the parser
#56
daemontus
opened
1 month ago
0
impl `Display` for `BddVariableSet` in the same way like `BddValuation`
#55
zao111222333
closed
2 months ago
3
support `serde` serialize/deserialize for `BooleanExpression` & `Bdd`
#54
zao111222333
closed
5 months ago
3
Support `Conditional` ternary operator
#53
zao111222333
closed
7 months ago
3
Support `Conditional` ternary operator
#52
zao111222333
closed
7 months ago
3
A faster restriction algorithm.
#51
daemontus
closed
8 months ago
1
Provide generic `BddVariableSet` that does not necessarily rely on string names
#50
daemontus
opened
8 months ago
1
Faster `restrict` algorithm
#49
daemontus
closed
8 months ago
1
Add the "optimized DNF" introduced in `balm`
#48
daemontus
closed
8 months ago
1
Extend and Fix bibtex data
#47
SSoelvsten
closed
9 months ago
1
Self-referential substitution
#46
daemontus
opened
10 months ago
0
Implement `From BddValuation for BddPartialValuation`
#45
daemontus
closed
12 months ago
1
Ensure uniform sampling for randomized operations
#44
daemontus
opened
1 year ago
0
Construct a BDD satisfied by exactly/up to `k` variables
#43
daemontus
closed
1 year ago
1
Specialized algorithms for CNF/DNF construction and conversion
#42
daemontus
closed
1 year ago
1
Faster `exists`/`for_all` using nested apply
#41
daemontus
closed
1 year ago
1
Is it possiable to impl AndAbstract?
#40
gipsyh
closed
1 year ago
5
support if_then_else op
#39
gipsyh
closed
1 year ago
3
Add algorithm to build BDD satisfied by valuations of size `k`.
#38
daemontus
closed
1 year ago
1
Add linear-time algorithm for BDD -> CNF conversion
#37
daemontus
closed
1 year ago
1
Reconsider `Ord` trait on `BddValuation`
#36
daemontus
opened
1 year ago
5
Convert `BddValuation` back to `Bdd`.
#35
daemontus
closed
1 year ago
1
Isses with BDD serialisation on buffered reader/writer
#34
daemontus
closed
1 year ago
1
Allow BDD operations to execute as interruptible async functions
#33
daemontus
opened
2 years ago
0
Implementation of `infer_regulatory_graph` can use too much memory
#32
daemontus
closed
2 years ago
1
A greedy `pick` implementation
#31
daemontus
opened
2 years ago
0
Add a restrict algorithm
#30
ellmau
closed
2 years ago
5
Functions `read_as_string` a `write_as_string` are private
#29
daemontus
closed
2 years ago
1
Faster projection/selection/restriction algorithms.
#28
daemontus
closed
1 year ago
1
Random picking of clauses/valuations.
#27
daemontus
closed
3 years ago
0
Remove guarantees on node ordering from `Bdd` representation.
#26
daemontus
opened
3 years ago
0
Updated valuations and paths API.
#25
daemontus
closed
3 years ago
1
Fast CNF/DNF algorithm.
#24
daemontus
closed
1 year ago
1
Random valuation/path picking.
#23
daemontus
closed
3 years ago
1
Bdd valuation manipulation and iteration.
#22
daemontus
closed
3 years ago
1
Conjunctive and Disjunctive Clauses
#21
daemontus
closed
3 years ago
0
Add support for "cubes".
#20
daemontus
closed
3 years ago
0
DNF
#19
lengyijun
closed
1 year ago
4
Question about order in `Bdd`.
#18
lengyijun
closed
1 year ago
4
Hash function
#17
lengyijun
closed
3 years ago
3
`cargo test` failed
#16
lengyijun
closed
3 years ago
2
Use `AsRef` to accept both `Bdd` and `&Bdd` in core methods
#15
daemontus
closed
3 years ago
1
Python bindings.
#14
daemontus
closed
2 years ago
1
Basic under/over approximation operations.
#13
daemontus
opened
3 years ago
1
Consider alternative names for `BddVariableSet`.
#12
daemontus
opened
3 years ago
2
Next