v1.0.1

Compared to 1.0.0, updates the lib-bdd dependency to version 0.5.21. This does not add any new significant functionality, but it fixes a performance problem in the implementation of mk_dnf/mk_cnf. It also uses a new, improved to_dnf algorithm. Finally, to_dnf now has a size_limit argument which interrupts the method if the DNF becomes too large.

What's Changed

• Update lib-bdd to 0.5.21 by @daemontus in #24

Full Changelog: v1.0.0...v1.0.1