search

sybila / biodivine-lib-param-bn

Rust library for working with parametrised Boolean networks.
MIT License
2 stars 2 forks source link

Random witness sampling #41

Open daemontus opened 1 year ago

daemontus commented 1 year ago

At the moment, we can sample random BDD valuations from lib-bdd, but the SymbolicAsyncGraph::get_witness still does not have a randomized alternative. Implement this method.