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

#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

#19 - DNF

Pull Request - State: closed - Opened by lengyijun about 3 years ago - 4 comments

#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