Module biodivine_lib_param_bn::tutorial

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:

• Regulatory graphs
• Parametrised Boolean Networks
• Symbolic Asynchronous Graph
• Graph Algorithms Sample

Modules

p01_regulatory_graph

Regulatory graphs

p02_boolean_network

Boolean Networks

p03_symbolic_async_graph

Symbolic Asynchronous Graph

p04_graph_algorithm_sample

SCC Detection Algorithm