v0.3.1

CUDD v0.3.1

Diff since v0.3.0

Merged pull requests:

• Convert ptr to UInt instead of Int in missing C macros (#24) (@rtjoa)
• Bump julia version to 1.9 (#25) (@MaximeBouton)

v0.3.0

CUDD v0.3.0

Diff since v0.2.2

Closed issues:

• Use Yggdrasil (#21)

Merged pull requests:

• add cudd_jll dependencies, bump version, update julia compat (#22) (@MaximeBouton)

v0.2.2

CUDD v0.2.2

Diff since v0.2.1

Closed issues:

• BDD complement/negation functionality? (#16)

Merged pull requests:

• add Cudd_Not, Cudd_IsComplement, Cudd_Regular (#20) (@guyvdbroeck)

v0.2.1

CUDD v0.2.1

Diff since v0.2.0

Closed issues:

• Broken link in README (#14)
• Julia v1.5 failure because of @eval in init (#15)

Merged pull requests:

• fix #15. Remove eval from init to allow precompilation. (#17) (@tomerarnon)

v0.2.0

CUDD v0.2.0

Diff since v0.1.3

Closed issues:

• Info about upcoming removal of packages in the General registry (#4)
• Use BinaryBuilder (#8)

Merged pull requests:

• Install TagBot as a GitHub Action (#11) (@JuliaTagBot)
• Fix README example (#12) (@blegat)
• Add support for BDD using Clang (#13) (@blegat)

v0.1.3

use BinaryProvider to import CUDD binaries
support for win, linux, mac

v0.1.2

v0.1.2 (2019-09-08)

Diff since v0.1.1

Closed issues:

• Update to Julia > 1.0 (#7)

Merged pull requests:

• Get rid of compat in Project.toml (#9) (tomerarnon)
• Support 0.6, 0.7, 1+ (#6) (tomerarnon)
• Julia v1.0+ compatibility (#5) (tomerarnon)
• Fix incorrect spelling of 'initialize' (#3) (kozross)

v0.1.1

Update source location

Initial release

v0.1.0

Update LICENSE.md