Adiar 2.1.0
An External Memory Decision Diagram Library
Loading...
Searching...
No Matches
Tutorial

The following provides an introduction to using all aspects of Adiar. For simplicity, we only cover Binary Decision Diagrams but the ideas presented here also apply to Zero-suppressed Decision Diagrams .

  • Getting Started

    How to compile, initialize and deinitialize the Adiar library.

  • Basic Usage

    Basic operations for the creation and manpulation of decision diagrams.

  • Function Objects

    Interaction between your data structures and Adiar's operations.

  • Manual Construction

    Use of adiar::builder to manually construct a decision diagram, node for node.

  • Queens

    Combining all of the above to symbolically compute the solution to the Queens problem.