jix/cnfpack

Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format