CUDD v0.3.1
Merged pull requests:
- Convert ptr to
UIntinstead ofIntin missing C macros (#24) (@rtjoa) - Bump julia version to 1.9 (#25) (@MaximeBouton)
Contributors
MaximeBouton and rtjoa
Merged pull requests:
UInt instead of Int in missing C macros (#24) (@rtjoa)
