Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sybila/biodivine-lib-bdd issues and pull requests
#59 - Validation
Pull Request -
State: closed - Opened by daemontus 12 days ago
- 1 comment
#58 - Coverage reporting is broken?
Issue -
State: open - Opened by daemontus 18 days ago
#57 - Updates to DNF/CNF methods
Pull Request -
State: closed - Opened by daemontus 18 days ago
- 1 comment
#56 - Avoid recursion in the parser
Issue -
State: open - Opened by daemontus 19 days ago
#55 - impl `Display` for `BddVariableSet` in the same way like `BddValuation`
Pull Request -
State: closed - Opened by zao111222333 about 2 months ago
- 3 comments
#54 - support `serde` serialize/deserialize for `BooleanExpression` & `Bdd`
Pull Request -
State: closed - Opened by zao111222333 5 months ago
- 3 comments
#53 - Support `Conditional` ternary operator
Pull Request -
State: closed - Opened by zao111222333 6 months ago
- 3 comments
#52 - Support `Conditional` ternary operator
Issue -
State: closed - Opened by zao111222333 6 months ago
- 3 comments
#51 - A faster restriction algorithm.
Pull Request -
State: closed - Opened by daemontus 8 months ago
- 1 comment
#50 - Provide generic `BddVariableSet` that does not necessarily rely on string names
Issue -
State: open - Opened by daemontus 8 months ago
- 1 comment
#49 - Faster `restrict` algorithm
Issue -
State: closed - Opened by daemontus 8 months ago
- 1 comment
#48 - Add the "optimized DNF" introduced in `balm`
Issue -
State: closed - Opened by daemontus 8 months ago
- 1 comment
#47 - Extend and Fix bibtex data
Pull Request -
State: closed - Opened by SSoelvsten 8 months ago
- 1 comment
#46 - Self-referential substitution
Issue -
State: open - Opened by daemontus 10 months ago
#45 - Implement `From BddValuation for BddPartialValuation`
Issue -
State: closed - Opened by daemontus 11 months ago
- 1 comment
#44 - Ensure uniform sampling for randomized operations
Issue -
State: open - Opened by daemontus about 1 year ago
#43 - Construct a BDD satisfied by exactly/up to `k` variables
Pull Request -
State: closed - Opened by daemontus over 1 year ago
- 1 comment
#42 - Specialized algorithms for CNF/DNF construction and conversion
Pull Request -
State: closed - Opened by daemontus over 1 year ago
- 1 comment
#41 - Faster `exists`/`for_all` using nested apply
Pull Request -
State: closed - Opened by daemontus over 1 year ago
- 1 comment
#40 - Is it possiable to impl AndAbstract?
Issue -
State: closed - Opened by gipsyh over 1 year ago
- 5 comments
#39 - support if_then_else op
Issue -
State: closed - Opened by gipsyh over 1 year ago
- 3 comments
#38 - Add algorithm to build BDD satisfied by valuations of size `k`.
Issue -
State: closed - Opened by daemontus over 1 year ago
- 1 comment
#37 - Add linear-time algorithm for BDD -> CNF conversion
Issue -
State: closed - Opened by daemontus over 1 year ago
- 1 comment
#36 - Reconsider `Ord` trait on `BddValuation`
Issue -
State: open - Opened by daemontus over 1 year ago
- 5 comments
#35 - Convert `BddValuation` back to `Bdd`.
Issue -
State: closed - Opened by daemontus over 1 year ago
- 1 comment
#34 - Isses with BDD serialisation on buffered reader/writer
Issue -
State: closed - Opened by daemontus almost 2 years ago
- 1 comment
Labels: bug
#33 - Allow BDD operations to execute as interruptible async functions
Issue -
State: open - Opened by daemontus over 2 years ago
Labels: enhancement, performance
#32 - Implementation of `infer_regulatory_graph` can use too much memory
Issue -
State: closed - Opened by daemontus over 2 years ago
- 1 comment
Labels: bug
#31 - A greedy `pick` implementation
Issue -
State: open - Opened by daemontus over 2 years ago
Labels: enhancement
#30 - Add a restrict algorithm
Issue -
State: closed - Opened by ellmau over 2 years ago
- 5 comments
#29 - Functions `read_as_string` a `write_as_string` are private
Issue -
State: closed - Opened by daemontus almost 3 years ago
- 1 comment
Labels: bug
#28 - Faster projection/selection/restriction algorithms.
Issue -
State: closed - Opened by daemontus about 3 years ago
- 1 comment
Labels: performance
#27 - Random picking of clauses/valuations.
Pull Request -
State: closed - Opened by daemontus about 3 years ago
#26 - Remove guarantees on node ordering from `Bdd` representation.
Issue -
State: open - Opened by daemontus about 3 years ago
Labels: enhancement
#25 - Updated valuations and paths API.
Pull Request -
State: closed - Opened by daemontus about 3 years ago
- 1 comment
#24 - Fast CNF/DNF algorithm.
Issue -
State: closed - Opened by daemontus about 3 years ago
- 1 comment
Labels: performance
#23 - Random valuation/path picking.
Issue -
State: closed - Opened by daemontus about 3 years ago
- 1 comment
Labels: enhancement
#22 - Bdd valuation manipulation and iteration.
Issue -
State: closed - Opened by daemontus about 3 years ago
- 1 comment
Labels: enhancement
#21 - Conjunctive and Disjunctive Clauses
Pull Request -
State: closed - Opened by daemontus about 3 years ago
#20 - Add support for "cubes".
Pull Request -
State: closed - Opened by daemontus about 3 years ago
#18 - Question about order in `Bdd`.
Issue -
State: closed - Opened by lengyijun about 3 years ago
- 4 comments
Labels: question
#17 - Hash function
Issue -
State: closed - Opened by lengyijun about 3 years ago
- 3 comments
Labels: enhancement
#16 - `cargo test` failed
Issue -
State: closed - Opened by lengyijun about 3 years ago
- 2 comments
Labels: bug
#15 - Use `AsRef` to accept both `Bdd` and `&Bdd` in core methods
Issue -
State: closed - Opened by daemontus over 3 years ago
- 1 comment
#14 - Python bindings.
Issue -
State: closed - Opened by daemontus over 3 years ago
- 1 comment
Labels: enhancement
#13 - Basic under/over approximation operations.
Issue -
State: open - Opened by daemontus over 3 years ago
- 1 comment
Labels: enhancement
#12 - Consider alternative names for `BddVariableSet`.
Issue -
State: open - Opened by daemontus over 3 years ago
- 2 comments
Labels: question
#11 - Support for prime implicants (cubes) / minterms (valuations?)
Issue -
State: closed - Opened by daemontus over 3 years ago
- 1 comment
#10 - Support computation of exact valuation count.
Issue -
State: closed - Opened by daemontus over 3 years ago
- 2 comments
Labels: enhancement
#9 - Improve documentation for advanced Bdd functions.
Issue -
State: closed - Opened by daemontus almost 4 years ago
- 1 comment
Labels: documentation
#8 - Add strict Travis rules and git hooks
Issue -
State: closed - Opened by daemontus almost 4 years ago
- 1 comment
#7 - Enable conversion between valuation and Bdd
Issue -
State: closed - Opened by daemontus almost 4 years ago
- 1 comment
#6 - Rethink invert_input
Issue -
State: closed - Opened by daemontus over 4 years ago
- 1 comment
Labels: bug
#5 - BooleanExpression using a binary operation "action enum".
Issue -
State: open - Opened by daemontus over 4 years ago
- 1 comment
Labels: enhancement
#4 - Explicitly test Bdd graph ordering
Issue -
State: closed - Opened by daemontus over 4 years ago
- 1 comment
Labels: tests
#3 - Improve Bdd export to BooleanExpression
Issue -
State: open - Opened by daemontus over 4 years ago
Labels: enhancement
#2 - BddValuation as BitVector in std-lib
Issue -
State: closed - Opened by daemontus over 4 years ago
- 1 comment
Labels: enhancement
#1 - BddValuation improvements
Issue -
State: closed - Opened by daemontus over 4 years ago
- 1 comment
Labels: enhancement