Module biodivine_lib_param_bn::tutorial
source · Expand description
This is a documentation-only module which describes how to use this crate to work with parametrised Boolean networks and construct symbolic algorithms with them.
Table of contents:
Modules§
- Regulatory graphs
- Boolean Networks
- Symbolic Asynchronous Graph
- SCC Detection Algorithm
- Model Annotations