CToNNF Wiki/Extensions