#

kfdd

Here is 1 public repository matching this topic...

runekrauss / freddy

A design automation framework to engineer decision diagrams yourself

bdd eda add bmd formal-verification decision-diagrams hardware-testing boolean-function bhd pseudo-boolean kfdd phdd

Updated Jan 14, 2026
C++

Improve this page

Add a description, image, and links to the kfdd topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the kfdd topic, visit your repo's landing page and select "manage topics."