What's Changed * Use AEON by default for manipulating Boolean functions. This can be changed using `MPBN_BOOLFUNCLIB=pyeda` environment variable, or `boolfunclib` option.
🚀 **Optimizations** - load ASP code at once - introduce `CLINGO_OPTS` environment variable to pass options to `clingo` - add optimized methods for counting solutions
🗒️ Full Changelog: https://github.com/bnediction/mpbn/compare/v3.5...v3.8
3.5
New feature: - `mpbn.converters.bn_of_asynchronous_transition_graph`: convert an asynchronous transition graph to a propositional logic representation See https://mpbn.readthedocs.io/#mpbn.converters.bn_of_asynchronous_transition_graph
3.4
mpbn.simulation`: - API improvement for sampling intermediate configurations - new `sample_trace` and `sample_switchpoint` functions