These are tools to extract XNF files from CNF files and vice versa to translate XNF files back to CNF.