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.