0.3.0.0

• add optimalOrder
• fix segfault on Apple M1 and ARM aarch64
• minor improvements of documentation and tests

0.2.0.0

• rename forall (soon a keyword in GHC) to forall_ and exists to exists_

0.1.0.4

Maintenance release.

• Faster subsOf and sizeOf.

0.1.0.3

Maintenance release.

• fix an error which caused svgGraph to hang on long outputs.
• add Read and Eq classes for BddTree.
• a few more tests.

0.1.0.2

Correction to extra library paths defined in custom Setup.hs. This should fix problems when HasCacBDD is used as a dependency in projects with recent stack versions.

0.1.0.1

• new functions: relabelFun, substit, substitSimul
• simplified test suite
• improve documentation and hints to get started

0.1.0.0

First complete release, also available on hackage.