Skip to content

0.1.0.3

Compare
Choose a tag to compare
@m4lvin m4lvin released this 30 Jun 13:30

Maintenance release.

  • fix an error which caused svgGraph to hang on long outputs.
  • add Read and Eq classes for BddTree.
  • a few more tests.