Even though the types of gate has changed, it would be good that the output of the compilation start with the declaration "nnf v e n", just for compatibility with other knowledge compilers. This can also be used as a magic string to automatically infer that the file contains an NNF.
Even though the types of gate has changed, it would be good that the output of the compilation start with the declaration "nnf v e n", just for compatibility with other knowledge compilers. This can also be used as a magic string to automatically infer that the file contains an NNF.