cnfpack (cargo): Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format
Keywords: compression|cnfpack|sat|cnf|dimacs