🚀 **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
3.3
3.2
- use `pyeda` for performing the simplification/DNF transformation (substantial speed up for model loading)
3.1.1
- increase recursion limit to handle larger BDD for non-monotone functions