sybila/biodivine-lib-bdd

Issues

• Ignore whitespace when parsing from string data

  #61 opened 2 months ago by daemontus
  1

• DNF generator

  #60 opened 3 months ago by daemontus
  0

• Coverage reporting is broken?

  #58 opened 3 months ago by daemontus
  0

• Avoid recursion in the parser

  #56 opened 3 months ago by daemontus
  0

• Reconsider `Ord` trait on `BddValuation`

  #36 opened 2 years ago by daemontus
  5

• Support `Conditional` ternary operator

  #52 opened 9 months ago by zao111222333
  3

• Provide generic `BddVariableSet` that does not necessarily rely on string names

  #50 opened 10 months ago by daemontus
  1

• Faster `restrict` algorithm

  #49 opened 10 months ago by daemontus
  1

• Add the "optimized DNF" introduced in `balm`

  #48 opened 10 months ago by daemontus
  1

• Self-referential substitution

  #46 opened a year ago by daemontus
  0

• Implement `From BddValuation for BddPartialValuation`

  #45 opened a year ago by daemontus
  1

• Ensure uniform sampling for randomized operations

  #44 opened a year ago by daemontus
  0

• Isses with BDD serialisation on buffered reader/writer

  #34 opened 2 years ago by daemontus
  1

• Allow BDD operations to execute as interruptible async functions

  #33 opened 3 years ago by daemontus
  0

• Question about order in `Bdd`.

  #18 opened 2 years ago by lengyijun
  4

• Fast CNF/DNF algorithm.

  #24 opened 2 years ago by daemontus
  1

• Faster projection/selection/restriction algorithms.

  #28 opened 2 years ago by daemontus
  1

• Add linear-time algorithm for BDD -> CNF conversion

  #37 opened 2 years ago by daemontus
  1

• Add algorithm to build BDD satisfied by valuations of size `k`.

  #38 opened 2 years ago by daemontus
  1

• support if_then_else op

  #39 opened 2 years ago by gipsyh
  3

• Is it possiable to impl AndAbstract?

  #40 opened 2 years ago by gipsyh
  5

• Convert `BddValuation` back to `Bdd`.

  #35 opened 2 years ago by daemontus
  1

• Implementation of `infer_regulatory_graph` can use too much memory

  #32 opened 3 years ago by daemontus
  1

• Add a restrict algorithm

  #30 opened 3 years ago by ellmau
  5

• Basic under/over approximation operations.

  #13 opened 4 years ago by daemontus
  1

• Support computation of exact valuation count.

  #10 opened 3 years ago by daemontus
  2

• Python bindings.

  #14 opened 3 years ago by daemontus
  1

• Functions `read_as_string` a `write_as_string` are private

  #29 opened 3 years ago by daemontus
  1

• A greedy `pick` implementation

  #31 opened 3 years ago by daemontus
  0

• Consider alternative names for `BddVariableSet`.

  #12 opened 4 years ago by daemontus
  2

• Improve documentation for advanced Bdd functions.

  #9 opened 3 years ago by daemontus
  1

• Random valuation/path picking.

  #23 opened 3 years ago by daemontus
  1

• Remove guarantees on node ordering from `Bdd` representation.

  #26 opened 3 years ago by daemontus
  0

• Bdd valuation manipulation and iteration.

  #22 opened 3 years ago by daemontus
  1

• BooleanExpression using a binary operation "action enum".

  #5 opened 5 years ago by daemontus
  1

• BddValuation as BitVector in std-lib

  #2 opened 3 years ago by daemontus
  1

• Improve Bdd export to BooleanExpression

  #3 opened 5 years ago by daemontus
  0

• Support for prime implicants (cubes) / minterms (valuations?)

  #11 opened 3 years ago by daemontus
  1

• Hash function

  #17 opened 3 years ago by lengyijun
  3

• `cargo test` failed

  #16 opened 3 years ago by lengyijun
  2

• Use `AsRef` to accept both `Bdd` and `&Bdd` in core methods

  #15 opened 3 years ago by daemontus
  1

• Add strict Travis rules and git hooks

  #8 opened 4 years ago by daemontus
  1

• Explicitly test Bdd graph ordering

  #4 opened 4 years ago by daemontus
  1

• BddValuation improvements

  #1 opened 4 years ago by daemontus
  1

• Rethink invert_input

  #6 opened 4 years ago by daemontus
  1

• Enable conversion between valuation and Bdd

  #7 opened 4 years ago by daemontus
  1