Update regulation constraint algorithms to allow a BDD node limit

sybila / biodivine-lib-param-bn

Rust library for working with parametrised Boolean networks.

MIT License

2 stars 3 forks source link

Update regulation constraint algorithms to allow a BDD node limit #58

Open daemontus opened 5 months ago

daemontus commented 5 months ago

These sometime explode a bit more than we'd like and they are hard to predict reliably. Sometimes, adding a limit would be nice to prevent silent OOM.