A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
-
Updated
Aug 31, 2026 - TypeScript
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
To associate your repository with the mtbdd topic, visit your repo's landing page and select "manage topics."