Adiar  2.1.0
An External Memory Decision Diagram Library
Papers
  • Citation Data

    List of all relevant papers to cite when using Adiar, including BibTex metadata.

  • Amendments to Papers

    List of changes in Adiar that to some extend render some of published knowledge as out of date.