Function print 

pub fn print(cnf: &DimacsCnf) -> String

Render a DimacsCnf back to DIMACS text. parse(print(x)) == x.