https://github.com/shnarazk/ddil

BDD and ZDD in Lean4
https://github.com/shnarazk/ddil

bdd decision-diagrams discrete-structures lean4 zdd

Last synced: 7 days ago
JSON representation

BDD and ZDD in Lean4

• Host: GitHub
• URL: https://github.com/shnarazk/ddil
• Owner: shnarazk
• License: mpl-2.0
• Created: 2025-02-23T02:29:37.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2025-11-16T01:35:31.000Z (7 months ago)
• Last Synced: 2025-11-16T03:21:24.097Z (7 months ago)
• Topics: bdd, decision-diagrams, discrete-structures, lean4, zdd
• Language: Lean
• Homepage:
• Size: 213 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# 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](https://github.com/shnarazk/Pharo-PropositionalLogic)

- [Rust] [ddir](https://github.com/shnarazk/ddir)