sybila/biodivine-lib-logical-models

Issues

• consistant intersecting with unit set

  #17 opened a year ago by chudicek
  0

• handle variables without update fn used as inputs

  #16 opened a year ago by chudicek
  0

• refactor the whole thing (prototype -> prod)

  #4 opened a year ago by chudicek
  0

• profiling?

  #6 opened a year ago by chudicek
  0

• redesign symbolic domain

  #19 opened a year ago by chudicek
  0

• handle case when a variable has multiple update functions specified

  #18 opened a year ago by chudicek
  0

• performance of the brute-force (splitwise) succ/predecessors vs prime (primewise?) successors

  #15 opened a year ago by chudicek
  0

• proper successors/predecessors

  #14 opened a year ago by chudicek
  0

• check only legit transitions included in sucessors

  #13 opened a year ago by chudicek
  0

• define allowed alphabet for input variables names

  #12 opened a year ago by chudicek
  0

• ordering of the bdd nodes in petri net encoding

  #11 opened a year ago by chudicek
  0

• benchmarks

  #5 opened a year ago by chudicek
  0

• faulty dataset reporting

  #10 opened a year ago by chudicek
  0

• provide `prelude`

  #9 opened a year ago by chudicek
  0

• synchronous pred/successors?

  #8 opened a year ago by chudicek
  0

• documentation

  #7 opened a year ago by chudicek
  0

• pyo3

  #3 opened a year ago by chudicek
  0