Expand description
Knowledge-compilation circuit representations. CPU representation and evaluation of deterministic decomposable negation normal form.
Modulesยง
- ddnnf
- Deterministic decomposable negation normal form circuits. Decision-DNNF parser and CPU reference evaluator.