Now the code can do clause transformation and parsing of a dimacs file
directly in the compressed format of clauses.
Tool that transform dimacs formula from the command line