Module ddnnf 

Deterministic decomposable negation normal form circuits. Decision-DNNF parser and CPU reference evaluator.

Structs

DdnnfEdge

Directed circuit edge annotated with signed DIMACS literals.

DdnnfNode

A node in a parsed decision-DNNF circuit.

DecisionDnnf

Parsed decision-DNNF circuit with indexed outgoing edges.

Enums

DdnnfNodeKind

Logical operator represented by a decision-DNNF node.