# HasCacBDD Changelog

## upcoming

- ...

## v0.2.0.0 (2023-11-23)

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

## v0.1.0.4 (2023-02-03)

Maintenance release.

- Faster subsOf and sizeOf.

## v0.1.0.3 (2020-06-30)

Maintenance release.

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

## v0.1.0.2 (2019-06-19)

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.

## v0.1.0.1 (2019-01-24)

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

## v0.1.0.0 (2017-03-09)

First complete release, also available on hackage.