SSoelvsten/adiar: v1.2.1

Bug Fixes

• adiar_printstats() Makes sure to print levelized priority queue statistics, when only the unbucketed priority queue has been used.

Deprecations

• adiar/bdd.h
  • output_dot(bdd f, std::string file_name) -> bdd_printdot(bdd f, std::string file_name)
• adiar/zdd.h
  • output_dot(zdd A, std::string file_name) -> zdd_printdot(zdd A, std::string file_name)

Binary Decision Diagrams

• bdd_satcount(bdd f) If the global domain is set, then that value will take precedence over the number of levels in f (assuming f has fewer levels than the domain claims to exist).
• bdd_printdot(bdd f, std::ostream out) Added to allow more flexibility when outputting DOT files.

Zero-suppressed Decision Diagrams

• zdd_printdot(zdd A, std::ostream out) Added to allow more flexibility when outputting DOT files.

Documentation

Instead of separate Markdown files, the documentation is generated directly from the C++ codebase with Doxygen. You can generate the documentation (assuming Doxygen is intalled) with the docs Makefile target.

Contributors

• Steffan Sølvsten ( @SSoelvsten )

License

Adiar uses the TPIE library which is licensed under LGPL v3, and so by extension any binary file with Adiar is covered by the very same license.