Skip to content

Releases: pclewis/cudd-sys

1.0.0

14 Sep 07:19
@daemontus daemontus
v1.0.0
b0ced69
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
1.0.0 Latest
Latest

A first "breaking" release adds support for CUDD 3.0 including some more advanced features. It also restructures the project to better match the internal structure of CUDD.

Assets 2
Loading

0.1.1

09 Aug 18:29
@daemontus daemontus
v0.1.1
fdbc35b
Compare
Choose a tag to compare
0.1.1

Resurrecting cudd-sys with a new url for CUDD sources, an updated build script, and some basic quality of life improvements.

Assets 2
Loading