Decision Diagram Library in Lean4

Based on

• Donald E. Knuth, The Art of Computer Programming, Volume 4A: Combinatorial Algorithms, Part 1, 2014.
• Jun Kawahara et al., ZDDによるパスの列挙, 2011. (List pathes up by ZDD)
• Randal E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, 1986.
• Takahisa Toda, et al., ZDDs and Enumeration Problems: State-of-The-Art Technologies and Programming Tool, 2016, in Japanese.

Related repositories

• [Pharo] Pharo-Propositionalelogic
• [Rust] ddir