Popular repositories
-
-
biodivine-lib-bdd
biodivine-lib-bdd PublicA small library for BDD manipulation in Rust. Part of the BioDivine toolset.
-
biodivine-boolean-models
biodivine-boolean-models PublicA collection of 230+ Boolean networks from various sources useful for benchmarking or testing.
-
Repositories
Showing 10 of 71 repositories
- biodivine-aeon-sketchbook Public
AEON Sketchbook is a multi-platform application for designing and analysing large-scale logical models.
- biodivine-control-tool Public
- biodivine-boolean-functions Public
A WIP Rust library with Python PyO3 bindings for Boolean function manipulation.
- biodivine-aeon-py Public
- biodivine-lib-bdd Public
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
-
- biodivine-xml-doc Public Forked from BlueGreenMagick/xml-doc
Rust xml tree parser to read, modify, and write xml
- biodivine-bn-classifier Public
Desktop app for classification of partially specified Boolean networks based on HCTL properties.