issues
search
sybila
/
biodivine-lib-param-bn
Rust library for working with parametrised Boolean networks.
MIT License
2
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add a utility method to reorder variables in a BN
#59
daemontus
opened
3 months ago
0
Update regulation constraint algorithms to allow a BDD node limit
#58
daemontus
opened
3 months ago
0
Better feedback vertex set computation
#57
daemontus
closed
6 months ago
1
Add the ability to create "canonical symbolic contexts"
#56
daemontus
closed
8 months ago
1
Reachability method with less overhead
#55
daemontus
closed
8 months ago
1
Add `SymbolicContext::canonical_bn_context`
#54
daemontus
closed
7 months ago
1
Enable fully symbolic network reduction
#53
daemontus
closed
8 months ago
1
Allow nested calls to uninterpreted functions
#52
daemontus
closed
8 months ago
1
Computation of minimal trap spaces
#51
daemontus
closed
8 months ago
1
Names `0` and `1` can collide with constants
#50
daemontus
closed
8 months ago
1
Bug in `infer_regulatory_graph` when working with parameters
#49
daemontus
closed
8 months ago
1
Tighter bounds on `BooleanNetwork::inline_inputs`
#48
daemontus
closed
8 months ago
2
New, safer identifier system
#47
daemontus
opened
10 months ago
1
deps: Update to z3 0.12.
#46
waywardmonkeys
closed
1 year ago
1
Make DNF the default translation format
#45
daemontus
closed
8 months ago
1
Decide how to deal with projected iteration and functions
#44
daemontus
opened
1 year ago
0
Safe tags for results and symbolci sets
#43
daemontus
opened
1 year ago
0
Update CI scripts based on `lib-bdd`
#42
daemontus
closed
1 year ago
0
Random witness sampling
#41
daemontus
opened
1 year ago
0
Add support for structured model annotations
#40
daemontus
closed
1 year ago
1
Extended symbolic domain
#39
daemontus
closed
1 year ago
2
Consider supporting 0/1 constants in Boolean expressions
#38
daemontus
closed
8 months ago
1
Add tutorial for new features from `0.4.0`
#37
daemontus
opened
1 year ago
0
Algorithms for fixed-points, feedback vertex sets and more
#36
daemontus
closed
1 year ago
1
Faster BDD evaluation of `FnUpdate` objects
#35
daemontus
opened
2 years ago
0
Add support for pyboolnet format
#34
daemontus
opened
2 years ago
0
Incorrect header handling in `.bnet` parser.
#33
daemontus
closed
8 months ago
1
[SBML] Threshold parsing
#32
daemontus
opened
2 years ago
0
Drop update functions that do not allow any transitions
#31
daemontus
opened
2 years ago
0
Implementation of infer_regulatory_graph can use too much memory
#30
daemontus
closed
8 months ago
1
Add a symbolic equality check
#29
daemontus
opened
2 years ago
0
Create "network inclusion test"
#28
daemontus
closed
2 years ago
1
Convenient generator for graph subspaces
#27
smijeva
closed
2 years ago
1
Mermaid plots broken in documentation
#26
daemontus
closed
2 years ago
1
Rendering of `RegulatoryGraph` to `.dot`.
#25
daemontus
closed
2 years ago
1
Fix `Eq` and `PartialEq` implementation for Boolean network
#24
daemontus
closed
2 years ago
2
Don't use `<true/>` and `<false/>` tags in MathML
#23
daemontus
closed
2 years ago
2
Allow uninterpreted functions with empty <math> tag
#22
daemontus
closed
2 years ago
1
Redesign `BooleanNetwork`/`RegulatoryGraph` API with better integrity checks
#21
daemontus
opened
3 years ago
1
Provide `Into<JsonValue>`
#20
daemontus
opened
3 years ago
1
Error message when loading "normal" SBML
#19
daemontus
closed
2 years ago
3
Re-implement `AsyncGraph` with updated interfaces and features.
#18
daemontus
opened
3 years ago
1
Symbolic Asynchronous Graph
#17
daemontus
closed
3 years ago
1
Robust SBML parser
#16
daemontus
closed
3 years ago
1
Remove biodivine-lib-std references from the project.
#15
daemontus
closed
3 years ago
1
Remove parameters from witness network.
#14
daemontus
closed
3 years ago
0
SBML models with input IDs
#13
daemontus
closed
3 years ago
0
Add strict Travis rules
#12
daemontus
closed
3 years ago
1
BddParameterEncoder - new_with_custom_variables
#11
smijeva
closed
3 years ago
1
SBML Parser Architecture
#10
daemontus
closed
3 years ago
1
Next