biodivine-lib-param-bn：用于处理参数化布尔网络的Rust库

Biodivine参数化布尔网络 用于处理参数化布尔网络的Rust库。 支持： 从.aeon和.sbml格式读取/写.aeon网络模型。 基本静态分析，例如单调性检查或网络分解。 网络参数和部分未知的更新功能。 完全符号异步转换图。 （旧式）半符号异步过渡图。 目前处于beta 。 教程正在进行中； 看一下API文档，特别是BooleanNetwork ， AsyncGraph和SymbolicAsyncGraph入门。 PBN到颜色图转储 要分析（非常）小型网络，将它们作为显式彩色图转储可能会很有用。 有一个二进制文件。 首先，运行cargo build --release 。 然后，您可以在target/release/dump-graph找到二进制文件。 二进制在标准输入上采用.aeon模型，并将图形转储到标准输出。 因此，要将PBN转换为其彩色的异步过渡图，只需调用