biodivine lib param bn:用于处理参数化布尔网络的Rust库 源码

Biodivine参数化布尔网络 用于处理参数化布尔网络的Rust库。 支持: 从.aeon和.sbml格式读取/写.aeon网络模型。 基本静态分析,例如单调性检查或网络分解。 网络参数和部分未知的更新功能。 完全符号异步转换图。 (旧式)半符号异步过渡图。 目前处于beta 。 教程正在进行中; 看一下API文档,特别是BooleanNetwork , AsyncGraph和SymbolicAsyncGraph入门。 PBN到颜色图转储 要分析(非常)小型网络,将它们作为显式彩色图转储可能会很有用。 有一个二进制文件。 首先,运行cargo build --release 。