FileFormat.SATLIB

loadCNFFile

saveAsCNF