All Versions
4
Latest Version
Avg Release Cycle
403 days
Latest Release
1393 days ago

Changelog History

  • v0.1.0.3 Changes

    June 30, 2020

    ๐Ÿš€ 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 Changes

    June 19, 2019

    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 Changes

    January 24, 2019
    • ๐Ÿ†• new functions: relabelFun, substit, substitSimul
    • โœ… simplified test suite
    • ๐Ÿ‘Œ improve documentation and hints to get started

  • v0.1.0.0 Changes

    March 09, 2017

    ๐Ÿš€ First complete release, also available on hackage.