Module 5 — Build BDDs in C with CUDD · Binary Decision Diagrams with CUDD

formal.org
Binary Decision Diagrams with CUDD

Module 5 — Build BDDs in C with CUDDCUDD in C: the manager, building functions, reference counts and Cudd_CheckZeroRef, complement edges, and the unique and computed tables.Katas in this module (4)

Kata 5.1 — Start a manager and count minterms

Kata 5.2 — Write tautology and implication tests

Kata 5.3 — Quantify a variable with cofactors

Kata 5.4 — Fix the leak

Part of Binary Decision Diagrams with CUDD on formal.org.