#

sddnnf

Here is 1 public repository matching this topic...

Illner / BellaCompiler

A knowledge compiler for wDNNF, pwDNNF, nwDNNF and (s)d-DNNF circuits

cnf dimacs knowledge-compilation ddnnf wdnnf pwdnnf nwdnnf sddnnf decisiondnnf knowledge-compiler

Updated Jun 5, 2025

Improve this page

Add a description, image, and links to the sddnnf 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 sddnnf topic, visit your repo's landing page and select "manage topics."