4.3.2

• use pyeda as default boolean backend only if installed

4.3.1

• conda package: add pyeda as dependency

4.3

• avoid DNF transformation if not necessary

Full Changelog: v4.2...v4.3

4.2: improve API for mpbn.simulation

• Handle more gracefully the case when the number of reachable attractors with proba>0 is zero #4

Full Changelog: v4.1...v4.2

4.1

• bugfix aeon import of constants functions

4.0

What's Changed

• Use AEON by default for manipulating Boolean functions. This can be changed using MPBN_BOOLFUNCLIB=pyeda environment variable, or boolfunclib option.

Full Changelog: v3.8...v4.0

3.8: optimizations

🚀 Optimizations

• load ASP code at once
• introduce CLINGO_OPTS environment variable to pass options to clingo
• add optimized methods for counting solutions

🗒️ Full Changelog: v3.5...v3.8

mpbn 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

mpbn 3.4

mpbn.simulation:

• API improvement for sampling intermediate configurations
• new sample_trace and sample_switchpoint functions

3.3: tuning ASP encoding for non-montone functions

v3.3

cli: give options for controlling simplifications