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