Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
daemontus authored May 9, 2023
1 parent 9964e74 commit 9338d96
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,9 @@

# Biodivine Parametrised Boolean Networks

Rust library for working with parametrised Boolean networks. Supports:
> You can now also access the full functionality of `lib-param-bn` from Python! The library is available as part of the [AEON.py](https://github.com/sybila/biodivine-aeon-py) package.
Rust library for working with (parametrised) Boolean networks. Supports:
- Read/Write Boolean network models from `.aeon`, `.bnet`, and `.sbml` formats.
- Basic static analysis, like monotonicity checking or network decomposition.
- Network parameters and partially unknown update functions.
Expand Down Expand Up @@ -109,4 +111,4 @@ for PBNs with roughly >10 variables and >1000 valid parametrizations
(with parametrizations being the bigger bottleneck).

You can test the functionality on `aeon_models/g2a_*.aeon` models which
should all be sufficiently small.
should all be sufficiently small.

0 comments on commit 9338d96

Please sign in to comment.