文件名称：biodivine:用于操纵，分析和验证生物模型的工具集
文件大小：17KB
文件格式：ZIP
更新时间：2024-05-30 10:02:35
HTML
生物神资源库 目前开发的Biodivine储存库概述： biodivine-lib-bdd ：Rust库，用于将布尔函数作为二进制决策图进行操作。 biodivine-lib-param-bn ：用于处理参数化布尔网络的Rust库。 它通过未解释的布尔函数，基本静态分析以及完全符号异步转换图的构建来支持部分未知的网络。 生物神 BioDivine是用于操纵，分析，验证和验证生物模型的工具集。 BioDivine提供三个功能级别： 工具和工具集成： BioDivine工具专为满足特定任务而设计，可以满足用户的需求，提供适合“点击”分析的图形界面，输入格式和交互式可视化效果。 交互式笔记本： BioDivine与Jupyter笔记本系统集成，可访问新功能或实验功能，并允许高级用户轻松组合，扩展和修改其功能。 库和框架：所有BioDivine功能都在一组开源，可扩展库中实现。 经
【文件预览】：
biodivine-master
----.gitignore(9B)
----README.md(12KB)
----rust-lib-template()
--------.gitignore(417B)
--------README.md(3KB)
--------Cargo.toml(1KB)
--------.githooks()
--------LICENSE(1KB)
--------src()
--------res()
--------.travis.yml(697B)
--------Makefile.toml(1KB)
----RUST_DEV_GUIDE.md(11KB)