Topics

Here is a list of all topics with brief descriptions:

Adiar Kernel	Set up of Adiar and its core settings
Function Objects	The bridge between you and Adiar
Binary Decision Diagrams	A Binary Decision Diagram (BDD) represents a boolean function \( \{ 0,1 \}^n \rightarrow \{ 0,1 \} \) over a finite domain of \( n \) boolean input variables
Zero-suppressed Decision Diagrams	A Zero-suppressed Decision Diagram (ZDD) represents a family of a set of \( n \) numbers, i.e. an \( S \subseteq 2^{\{ 0, 1, \dots, n-1 \}} \)
Builder	Manual bottom-up construction of decision diagrams
Variable Domain	Global domain of variables
Statistics	Statistics on the internal algorithms and data structures