Negation normal form parser for an extended version of c2d’s d-DNNF output format
The format extensions subsume Bella’s wDNNF format.