sybila/biodivine-lib-param-bn

Issues

• Add a utility method to reorder variables in a BN

  #59 opened 8 months ago by daemontus
  0

• Update regulation constraint algorithms to allow a BDD node limit

  #58 opened 8 months ago by daemontus
  0

• Add `SymbolicContext::canonical_bn_context`

  #54 opened a year ago by daemontus
  1

• Implementation of infer_regulatory_graph can use too much memory

  #30 opened a year ago by daemontus
  1

• Incorrect header handling in `.bnet` parser.

  #33 opened a year ago by daemontus
  1

• Names `0` and `1` can collide with constants

  #50 opened a year ago by daemontus
  1

• Consider supporting 0/1 constants in Boolean expressions

  #38 opened a year ago by daemontus
  1

• Make DNF the default translation format

  #45 opened a year ago by daemontus
  1

• Tighter bounds on `BooleanNetwork::inline_inputs`

  #48 opened a year ago by daemontus
  2

• Bug in `infer_regulatory_graph` when working with parameters

  #49 opened a year ago by daemontus
  1

• New, safer identifier system

  #47 opened a year ago by daemontus
  1

• Decide how to deal with projected iteration and functions

  #44 opened 2 years ago by daemontus
  0

• Safe tags for results and symbolci sets

  #43 opened 2 years ago by daemontus
  0

• Update CI scripts based on `lib-bdd`

  #42 opened 2 years ago by daemontus
  0

• Random witness sampling

  #41 opened 2 years ago by daemontus
  0

• Add tutorial for new features from `0.4.0`

  #37 opened 2 years ago by daemontus
  0

• Faster BDD evaluation of `FnUpdate` objects

  #35 opened 2 years ago by daemontus
  0

• Add support for pyboolnet format

  #34 opened 2 years ago by daemontus
  0

• [SBML] Threshold parsing

  #32 opened 2 years ago by daemontus
  0

• Drop update functions that do not allow any transitions

  #31 opened 3 years ago by daemontus
  0

• Add a symbolic equality check

  #29 opened 3 years ago by daemontus
  0

• Rendering of `RegulatoryGraph` to `.dot`.

  #25 opened 3 years ago by daemontus
  1

• Fix `Eq` and `PartialEq` implementation for Boolean network

  #24 opened 3 years ago by daemontus
  2

• Mermaid plots broken in documentation

  #26 opened 3 years ago by daemontus
  1

• Create "network inclusion test"

  #28 opened 3 years ago by daemontus
  1

• Convenient generator for graph subspaces

  #27 opened 3 years ago by smijeva
  1

• Error message when loading "normal" SBML

  #19 opened 3 years ago by daemontus
  3

• Redesign `BooleanNetwork`/`RegulatoryGraph` API with better integrity checks

  #21 opened 4 years ago by daemontus
  1

• Provide `Into<JsonValue>`

  #20 opened 4 years ago by daemontus
  1

• Re-implement `AsyncGraph` with updated interfaces and features.

  #18 opened 4 years ago by daemontus
  1

• Update reflect biodivine guidelines

  #2 opened 3 years ago by daemontus
  1

• Allow uninterpreted functions with empty <math> tag

  #22 opened 3 years ago by daemontus
  1

• Don't use `<true/>` and `<false/>` tags in MathML

  #23 opened 3 years ago by daemontus
  2

• SBML Parser Architecture

  #10 opened 4 years ago by daemontus
  1

• Add strict Travis rules

  #12 opened 4 years ago by daemontus
  1

• SBML models with input IDs

  #13 opened 4 years ago by daemontus
  0

• Remove parameters from witness network.

  #14 opened 4 years ago by daemontus
  0

• SBML parser incompatibility

  #1 opened 4 years ago by daemontus
  1

• PBN static analysis

  #5 opened 5 years ago by daemontus
  0

• .aeon format rework

  #4 opened 5 years ago by daemontus
  0

• General boolean expression parser

  #3 opened 5 years ago by daemontus
  0