Skip to content

0.1.1

Compare
Choose a tag to compare
@daemontus daemontus released this 09 Aug 18:29
· 16 commits to master since this release

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